Implemented issue #90 (if ?x ?x ?y) -> (or ?x ?y)