Conjunction simple = new Conjunction(); simple.setConjuncts(simpleConjuncts); simple.setComment(getComment()); _simplified = simple; simple._simplified = _simplified;
Conjunction simple = new Conjunction(); simple.setConjuncts(simpleConjuncts); simple.setComment(getComment()); _simplified = simple; simple._simplified = _simplified;