scope ParametrizedEnsemble {
    modules Ensemble, Simparm;
    exports Ensemble;
    invariant (Ensemble.Init => Simparm.ParmsLoaded) &
              (Simparm.ParmsLoaded => Simparm.Init);
}