Syntax error on line 37: Syntax Error in invariant Expression.
    invariant light_on_when_door_opened : door_open -> light_on;
