public void IsStructure() { StructureTerm t = new StructureTerm(); AbstractTerm a = new StructureTerm(); Assert.IsTrue(t.IsStructure); Assert.IsTrue(a.IsStructure); }