Stateful Structural Operational Semantics