fixed presolve validation