Incorrect consideration of global and local variables in resolving waitfor mutex object.

[Thierry Delisle]

The following code :

#include <monitor>
monitor M { condition e; } m;
void rtn( M & mutex m );
void bar( M & mutex m ) {
 	waitfor( rtn, m ); // not ambiguous, select parameter
}

Produces the following error:

cfa test.c
CFA Version 1.0.0 (debug)
test.c:92:1 error: Ambiguous function in call to waitfor