Booleanity IC; swap_AB_if_beneficial(); CMPLMNT