Simplificação de exp e de exp_logica.

Atualização da AST.