Node thenNode = cond.getNext();
Node elseNode = thenNode.getNext();
MinimizedCondition thenSubtree =
computeMinimizedCondition(thenNode.detachFromParent());
MinimizedCondition elseSubtree =
computeMinimizedCondition(elseNode.detachFromParent());
MeasuredNode posTree = MeasuredNode.addNode(
new Node(Token.HOOK, cond.cloneTree()).srcref(n),
thenSubtree.positive,
elseSubtree.positive);
MeasuredNode negTree = MeasuredNode.addNode(