Automated Design Simplification of Quantum Program Synthesis