fixing parcial implementation of argument verification, passed identifier verification to parser.y, finished scope verification