/** The name should have parenthesis at the right place to preserve the tree structure. */
public void testComposite() {
LabelAtom x = jenkins.getLabelAtom("x");
assertEquals("!!x", x.not().not().getName());
assertEquals("(x||x)&&x", x.or(x).and(x).getName());
assertEquals("x&&x||x", x.and(x).or(x).getName());
}
