Print negated atom in body of rule
Possible solution searchDelta