B model: Improve provability of constants

The purpose of this ticket is to improve the proof rate of the B components defining the shared constants of the project, that is components whose name starts with constants, as well as address_space_typing.