Use SDD::swap in saturation fixpoint.