-- Fixed performance problems in presolve