@spec localize_variables([CPSolver.IntVariable.t()]) ::
  {[CPSolver.IntVariable.t()], :fail | boolean()}