// -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; }
}
}
}