/* Tatica applyCopeRule*/

\tbegin
\ttactic applyCopyRule (fs)  \def

  \tappliesto
  
   \circprocess\ P \circdef \circbegin
   \circspot Main
   \circend
   
   \tdo
  (\tlaw copy_rule(Flows) 
 \tsemi 
  \ttactic APPLYL(copy_rule,fs) 
   \tsemi 
   \ttactic TRY(\tlaw copy_rule(P+_StUpdt))) 

\tend