Global options of a model are specified under the OPTIONS descriptor. Currently, three global options are supported:
The default value of InnerTransitionFirst is set to 0, which means all the top-level states are outer-transition-first (according to the STATEMATE semantics  of David Harel).
The above options are global in the scope of the whole model. They cannot be imported with submodels. When a submodel is imported, its global options are ignored.