@Test public void testGetOp() { Var a = new Var("a"); Var b = new Var("b"); Formula f = (a.and(b)); assertTrue(f.getOp().equals(Formula.BOP.AND)); }