localize_mip_rec uses E and x to
define a mixed integer problem and solves this problem
using lpSolveApi. This function can be much faster
then errorLocalizer but does not return the
degeneracy of a solution. However it does return an
bonus: x_feasible, a feasible solutionlocalize_mip_rec(E, x, weight = rep(1, length(x)),
maxduration = 600, verbose = "neutral", ...)