@Test public void equivalent_propertiesDiffer() { MutableCTree<Integer> t1 = TreeBuilder.builder().nodeOrder(ElementOrder.insertion()).build(); t1.putEdge(N1, N2); MutableCTree<Integer> t2 = TreeBuilder.from(t1).nodeOrder(ElementOrder.unordered()).build(); t2.putEdge(N1, N2); assertThat(t1).isEqualTo(t2); }