public void IsObject() { ObjectTerm t = new ObjectTerm(); AbstractTerm a = new ObjectTerm(); Assert.IsTrue(t.IsObject); Assert.IsTrue(a.IsObject); }