waitfor error message inconsistent

[pabuhr]

waitfor error message should always refer to the number of parameters not the number of arguments.

monitor M { condition e; };
int (*p)( M & mutex m1, M & m2 );
void bar( M & mutex m1, M & mutex m2 ) {
	waitfor( p, m1, m2 );
}