fixed inequality checkDisequalities inefficiency