simple

# Simple test case to test interactive mode
atomic fun ctrl A(x) = 0;

fun react swap(n,m) = A(n) --> A(m);

big s0 = A(0);

begin brs
  init s0;
  rules = [{ swap }];
end