// -p collapse-control

component main() -> () {
  cells {}
  wires {
    group A {}
    group B {}
    group C {}
    group D {}
    group A___ {}
  }
  control {
    seq {
      seq { A; B; seq { C; D; }}
      A___;
      par { A; par { B; C; } D; }
      A___;
      seq { A; seq { B; } C; }
      A___;
      par { A; par { B; } C; }
      A___;
      par { A; seq { B; C; } D; }
      A___;
      seq { A; par { B; C; } D; }
    }
  }
}