Also move branch folding into simplification rules.
Remove any discrimination of expressions from copy propagator.