Constraint Synthesis for CAD