Added a new state "identifier" in order to differentiate quantified identifiers from "true", "false", ....