Comando: Trivial rewrite

1. Usa regra de reescrita
2. Não faz reason aritmético
3. Não usa grules
4. Não faz simplificação
5. Talvez não use regra de reescrita com Generic actuals