The interpretations of addAtom2 and remAtom2, respectively, will go into infinite loop. One way to resolve this is to have every successful i register step produce a resource and have addAtom2 & remAtom2 blocked on the resource. For the time being, we will adopt this resolution.
The interpretations of
addAtom2andremAtom2, respectively, will go into infinite loop. One way to resolve this is to have every successful i register step produce a resource and have addAtom2 & remAtom2 blocked on the resource. For the time being, we will adopt this resolution.