public void IsReference() { ObjectTerm t = new ObjectTerm(); AbstractTerm a = new ObjectTerm(); Assert.IsFalse(t.IsReference); Assert.IsFalse(a.IsReference); }