Syntax error on line 13: Syntax Error after keyword next.
    next(count) := if (current_state == GREEN && pedestrian && count >= 60) || current_state == YELLOW then 0 else count + 1;
