Mixin this trait if a domain needs access to the operands (Domain#OperandsArray)
and/or locals (Domain#LocalsArray).
It is sufficient to mixin this trait in a Domain that needs to get access to the
memory structures. The abstract interpreter will then perform the initialization.
This information is set immediately before the abstract interpretation is