pub const MAX_ENUMERATED_BIACTIVE: usize = 10;
Up to this many biactive pairs every one of the 2^b branches is checked; above it, one heuristic branch.
2^b