Ya definimos/llamamos bien a yyerror, checa unicidad de variables globales.