# File ai/csp/int.rb, line 49
        def propagate(variable, level)
            v = @variables[@variables.index(variable) - 1]
            return true if v.instantiated? or v.pruned?(level, variable.value)
            v.prune(level,variable.value)
            not v.domain_empty?(level)
        end