1.0.1.35: propagate (EQL X Y) constraints symmetrically