public void testPLResolve2() { bool b = resolution.plResolution("(A AND B)", "B"); Assert.AreEqual(true, b); }