Calls SCIP's presolve and writes out transformed problem