The `Definitions` allows you to define `static` and non-static members
of the generated HFSM class for your HFSM. If they are static they
will need to be initialized and re-delcared here as well as properly
scoped with the HFSM's name.