Disallow condition assignments
condition c with (z == 7);
condition c2 with (true);
void f() {
c = c2; // This should not be allowed!
waitForCondition(c);
}
Conditions should be unassignable. Currently, this leads to a wrong semantics.