Syntax error on line 38: Syntax Error in invariant Expression.
    invariant light_on_when_door_open : door_open => light_on;
