Similarly to the solution of the mission phase statecharts, the core Gamma components should support variable bindings (ties).