# File ai/csp/int.rb, line 89
        def propagate(variable, level)
            value_index = variable.value
            uninstantiated_variables.each { |v|
                next if v.pruned?(level, value_index)
                v.prune(level, value_index)
                return false if v.domain_empty?(level)
            }
            true
        end