RightSideChanged
virtual bool RightSideChanged(Constraint* constraint) = 0;
bool RightSideChanged(Constraint* constraint);
if (!fSolver->RightSideChanged(constraint))