Application 1: Constrained Synthesis