Disabling resynthesis when not needed (need to remove folding for this to work)