Added conversion from LogicNode tree representation to conjunct list of disjunct list of predicates