Expression solver can represent states of the model as variables. Now expression solver proves also safaty pragmas on states.
