public void IsConstant() { StructureTerm t = new StructureTerm(); AbstractTerm a = new StructureTerm(); Assert.IsFalse(t.IsConstant); Assert.IsFalse(a.IsConstant); }