Syntax error on line 53: Syntax Error in invariant Expression.
    invariant check_minimum_time : (state == GREEN -> count >= 60) || (state == YELLOW -> count >= 5);
