Syntax error on line 21: Syntax Error in Expression.
            state == Green && pedestrian : { state' = if count >= 60 then Yellow else Pending; }
