archbung

### Keybase proof

I hereby claim:

  * I am archbung on github.
  * I am archbung (https://keybase.io/archbung) on keybase.
  * I have a public key whose fingerprint is 0B38 5037 E9EC 7CCA D1A6  AC6B E6D3 63ED 240D 5167

To claim this, I am signing this object:

archbung

theory Bug begin

builtins: multiset


rule Start: [ Fr(~x) ] --[ Start(<x,'1'>), C(x,'1'), IsFresh(x) ]-> [ A(x,'1') ]

rule Loop:  [ A(x,n) ] --[ Loop(<x,n>), C(x,n)  ]-> [ A(x,n) ]

rule Stop:  [ A(x,n) ] --[ Stop(<x,n>), C(x,'1'+n) ]-> [ A(x,'1'+n) ]