Misunderstanding over the implementation of Equiv, Xor, Implies : no
need to make more than one deep-first search. Fixed.