Simplificação de exp e de exp_logica.

Nova atualização da AST.