Construction of child model inside constructor of parent model causes failure

[cyrille-artho]

When a child model is created inside the constructor of the parent, the sets of transitions of the models get mixed up. Example:

  class LaunchFail extends Model {
    val child = new LaunchFailChild()
    "parent-init" -> "parent-main" := {
      launch(child)
    }
    "parent-main" -> "parent-end" := {
    }
  }

[cyrille-artho]

Creation of child models could be potentially nested, so it is better to document that this is not allowed. Perhaps this can be discovered at run-time later on, and result in Modbat aborting.