Better optimize the generated SMT output