Syntax error on line 17: Syntax Error in Expression.
        count' = (current_state == RED && count < 60) || (current_state == GREEN && (count < 60 || pedestrian)) || (current_state == PENDING && count < 60) || (current_state == YELLOW && count < 5) ? count + 1 : 0;
