SynthTree+pushIfDifferent