cleanup disequality rules