Added the definition of the initial state of machines in the DSL