added test for Synthesizer#propgate