Referencing removed (optimized) regions, states, variables

[grbeni]

If the user references a region, state, or variable from a property (model) that is later removed in the transformation chain due to optimization, the model checker backends return "unknown identifier" kind of error messages.