NEEDED
} else if (!NEEDED(*bmc)) {
} else if (NEEDED(*bmc)) {
if (!NEEDED(*bmc) && aborted)
set = bmc_old && NEEDED(*bmc_old);