/** Test of copy method, of class Disjunction. */
@Test
public void testCopy() {
System.out.println("copy");
Literal l = new Literal("a");
Literal r = new Literal("b");
Disjunction instance = new Disjunction(l, r);
Sentence result = instance.copy();
assertEquals(instance, result);
}
