the variable names are now checked in the Parser.