Refactor SMT exporter