SMT Burn Up: Refactor