use SCIP_CALL_ABORT instead of SCIP_CALL where appropriate