CheckExpr is a superclass for classes representing a check on an expression.
For instance, a CheckExpr is inserted into the tree before the divisor of a
divide operation. The CheckExpr checks to make sure that the divisor is not
zero.
See Also:RCExpr See Also:UCExpr See Also:ZeroCheckExpr