public void testParseSimpleVariable() { parser.setUpToParse("x"); Term v = parser.parseVariable(); Assert.AreEqual(v.ToString(), (new Variable("x")).ToString()); }