AC-3 Revise Inverted Test

// Remove values of xi with no consistent partner in xj
function revise(domains, xi, xj, constraint) {
  let revised = false;
  for (const x of [...domains[xi]]) {
    if (domains[xj].some(y => constraint(x, y))) {
      domains[xi] = domains[xi].filter(v => v !== x);
      revised = true;
    }
  }
  return revised;
}