Stmt package:sbv

A statement in our imperative program, parameterized over the state.