atomic ctrl A = 1;
atomic ctrl B = 0;
ctrl C = 0;

# (/x A{x} | B) || ... || (/x A{x} | B)
fun big a(n) = ppar(n, /x A{x} | B );

# B | B | ... | B
fun big b(n) = par(n, B);

big c = a(7) || C.(b(7));

react r = A{x} --> A{x};
react s = B --> B;

begin brs
  init c;
  rules = [{r, s}];
end