test-models/wf_assignmentExpressionNotInEventInstance/wf_assignmentExpressionNotInEventInstance.dzn:25:44: error
      Sensor.Status s2 = sensor2.activate(b <- l);
                                           ^
                                           `comma' expected
