assertNode(node.getChildren().get(1).children.get(1), NodeType.TERM, 9, 12);
}
@Test
public void testParseTreeWithMoreParentheses() {
Node node = parse("(W)|(U&V)");
assertNode(node, NodeType.OR, 0, 9);
assertNode(node.getChildren().get(0), NodeType.TERM, 1, 2);
assertNode(node.getChildren().get(1), NodeType.AND, 5, 8);
assertNode(node.getChildren().get(1).children.get(0), NodeType.TERM, 5, 6);
assertNode(node.getChildren().get(1).children.get(1), NodeType.TERM, 7, 8);
}