public void testParseSimpleConstant() { parser.setUpToParse("John"); Term c = parser.parseConstant(); Assert.AreEqual(c.ToString(), (new Constant("John")).ToString()); }