Searching in abc_with_bb_support