Updates for RESYN constraint of difference propagator or rebuilding value graphs.