Inheritance: Expression
        public ConditionalJumpExpression(Expression/*!*/ condition, JumpStatement/*!*/ jumpStatement, bool negateCondition, Expression value, SourceSpan location)
            : base(location) {
            ContractUtils.RequiresNotNull(condition, "condition");
            ContractUtils.RequiresNotNull(jumpStatement, "jumpStatement");

            _condition = condition;
            _jumpStatement = jumpStatement;
            _negateCondition = negateCondition;
            _value = value;
        }
        public ConditionalJumpExpression(Expression /*!*/ condition, JumpStatement /*!*/ jumpStatement, bool negateCondition, Expression value, SourceSpan location)
            : base(location)
        {
            ContractUtils.RequiresNotNull(condition, "condition");
            ContractUtils.RequiresNotNull(jumpStatement, "jumpStatement");

            _condition       = condition;
            _jumpStatement   = jumpStatement;
            _negateCondition = negateCondition;
            _value           = value;
        }