public void IsStructure() { ConstantTerm t = new ConstantTerm(); AbstractTerm a = new ConstantTerm(); Assert.IsFalse(t.IsStructure); Assert.IsFalse(a.IsStructure); }