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