Examples

Augmentation

Program Detection0
   initially count, claim = 0, false
   transform each $s$ to
      $s$ || count, claim := count+1, count $>=$ 10
end {Detection0}

Restricted Union

Program Detection1
   initially count, claim = 0, false
   transform each $s$ to
      $s$ || count := count+1 $>=$ 10
   add claim := count $>$ 10
end {Detection0}