Fixed: Conjunction could not handle multiple calls to .iterator()
Fixed: Disjunction now handles IF-THEN-ELSE properly