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