Optimize SMT Synthesizer Integration