Reverted commit that exposes staA instead of sta_a
Reformulated model to avoid an event iteration.
Reformulated computation of states at port to avoid an event.

This is correct because the variables can only be used for reporting,
because they are conditionally enabled.