fixed presolve check