yes that seems correct.

note that from a contract, there is no way to upgrade the ABI that the contract uses to call other contracts.

So if you add a new function to B2 that B1 did not have then A would not be able to call this. UNLESS A is also upgradeable and you can upgrade it to let it know the new function to call.