new next_board predicate, about to use to modify extract_max base cases