Mixin this trait if the domain needs information about the structure of the code.
It is sufficient to mixin this trait in a Domain that needs to get access to
the code array. The abstract interpreter will then perform the initialization.
This information is set immediately before the abstract interpretation is started/continued.