Negation split merge will not longer return bad rules.
Making reduceDirect actually correct.
Actually implementing NegationSplit correctly. -__-