Voltando as classes SemantVisitor e Env para a implementação original.