public void IsConstant() { ConstantTerm t = new ConstantTerm(); AbstractTerm a = new ConstantTerm(); Assert.IsTrue(t.IsConstant); Assert.IsTrue(a.IsConstant); }