public void IsList() { ListTerm t = new ListTerm(); AbstractTerm a = new ListTerm(); Assert.IsTrue(t.IsList); Assert.IsTrue(a.IsList); }