void VariableDefinition(StateType stype) { string name; Identifier(out name); SM.AddVariable(name, stype); }