Clean up IBC-related code
Yields run times improvements for class F, in particular by simplifying the searchBv function (renamed to isValidBv)
Yields run times improvements for class F, in particular by simplifying the searchBv function (renamed to isValidBv)