Returned backward-infer to working based on nodes visited.
Removed filter in numericalentailment elim which was malformed and didn't do anything.