fork download
copy 
  1. #!/usr/bin/perl6
  2.  
  3. # nnnnnnnnnnnnnnnn
  4.  
  5. my $origRwcode= '';  my $lastRwcode= '';  my $lastRwcodeDef= '';
  6.  
  7. $origRwcode=
  8. '
  9. jumpTo 
  10. <:0:TelService>
  11. [1__CODES
  12. (@@8  
  13.     ( proc :TelService  :0 {::: @@3 :CallSession:Stmt1:Stmt2 :::} )
  14.     ( proc :CallSession :4
  15.     : {:::
  16.     :    : jumpTo 
  17.     :    : ( stepThru1 ( cTerm2 :~2 :~3 [PerEvntActnList] ) <:0:TelService> ) 
  18.     :    : [ ~1 ]
  19.     :    : ( cTerm2 :~2 :~3 [NxtStateMap] )
  20.     : :::}
  21.     )
  22.     ( term [cTerm2 :onhook [dialDigit:4] [PerEvntActnList]] [say(concat:hello[,][ ]:World)] )
  23.     ( term [cTerm2 :offhook :dialDigit6 [PerEvntActnList]] [say(concat:lets[ ]:talk)] )
  24.     ( term [cTerm2 :talking [dialDigit:8] [PerEvntActnList]] [say(concat:seeya[,][ ]:bye)] )
  25.     ( term [cTerm2 :onhook [dialDigit:4] [NxtStateMap]] :offhook )
  26.     ( term [cTerm2 :offhook :dialDigit6 [NxtStateMap]] :talking )
  27.     ( term [cTerm2 :talking [dialDigit:8] [NxtStateMap]] :disconnect )
  28. ) ]
  29. [2__CURSTATE :onhook ]
  30. [3__EVENT [dialDigit:4] ]
  31.  
  32. :dialDigit6
  33. [dialDigit:8]
  34. ';
  35. #[ jumpTo <:0:TelService> ]
  36. #( jumpTo::=1={::: stepBy ( tSubstn ( ~0:x1 (concat:x(~0:x0)) ( ~0 :x1) ) ) :::} )
  37.  
  38. my $setup= 1;
  39. my $stopredOP= '';  my $stopredWhileMin= 0;  my $stopredWhileMax= 0; my @stopredWFEcompArgList= Nil;
  40. my %*TERMS{Any};  my %*VARS{Any};  my %*VAR{Any};  my %*PROCS{Any};  my %*PROCSparmNum{Any};
  41. my %*stateROM;  my %*actionsROM;  my %*AssocListArg0;  my %*AssocListArg1;
  42. my %*GOTOARGNAMES{Any};
  43.  
  44. my @savedsr2WFEcompArgList= Nil;my @savedsr2tempLeftBrace= Nil;
  45. my @savedsr2tempRightBrace= Nil;my $savedsr2rewriteArgListElems= 0;
  46.  
  47. my @tempWFEcompArgList= Nil;my @WFEcompArgListSav= Nil;my @tempLeftBraceSav= Nil;
  48. my @tempRightBraceSav= Nil;my $compareMax= 0;my $rewriteArgListElemsSav= 0;
  49. my @WFEcompArgListPreFx= Nil;  my @WFEcompArgListSavPreFx= Nil;  my $entryWFE4PreFx= ''; 
  50.  
  51. my $input= '';  my $tp0= '';  my $tp1= '';  my $tp2= '';  my $symbType= '';  my $output= 1;  my $saySuccess= 0;  
  52. my $addMultSuccess= 0;  my @tempStmt= Nil;  my $noSkips= 1;  my $wrongArgTypes= 0;  my @OPstr= Nil;  my $OPsav= Nil;  my $OPsav2= Nil;
  53. my @OPvariety= Nil;  my @entryTempoeName= Nil;  my $tempInt= 9999;  my $srMax= -1;  my @AssocComp0= Nil;
  54. my @AssocComp1= Nil;  my @ARGLISTrankForGivenLevelAlreadyInitialized= Nil;  my @ARGLISTrankInGivenARGLISTlevel= Nil;
  55. my $BIStemp2= 0;  my $BIStemp22= 0;  my @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun= Nil;
  56. my @BISlistOfWFErewritesForGivenARGLISTruleRun= Nil;  my @BISlistOfWFEbraceTypesForGivenARGLISTruleRun= Nil;
  57. my $BIStempCurWFEbrace= '';  my @curWFEbraceForGivenActnum= Nil;  my @isBaseBISlistOfWFEbraceTypesForGivenARGLISTruleRun= Nil;
  58. my $entryWFE= '';  my $entryWFE2= '';  my $entryWFE4= '';  my $entryWFE6= '';  my $entryWFE66= '';  my $entryWFE7= '';  my $actualTemplate= '';  my $tmplateStr= '';  my $tmplateOP= 0;  
  59. my $debug= 0;  my $debug2= 1;  my $debug4= 0;
  60.  
  61. my $englobingNoRWdegree= 0;  my $curBrace= '';  my @listOfCurBraces= Nil;
  62. my @BraceTypeOfComponentWFEatGivenIndexInWFElistOfARGLISTatGivenSrLevel= Nil;
  63. my @currentARGLISTlistOfBraceTypesOfComponentWFEs= Nil;
  64. my @currentARGLISTlistOflistOfOPvarietyOfComponentWFEs= Nil;  
  65. my $tempLeftBrace= '';  my $tempRightBrace= '';  my @tempLeftBrace= Nil;  my @tempRightBrace= Nil;  
  66. my @curbraceL= Nil;  my @curbraceIdx= Nil;  my $ttp= '';  my $tmplateNumOfParms= 0;  
  67. my $b12 = '            ';  my $i= '|';  my $l= ':';  my $temp1= 'blank';  my $temp2= 0;  my $temp4= 0;  my $temp6= 0;  my $rewriteWFE= '';
  68. my @curWFEbrace= Nil;  my @curWFEopVariety= Nil;  my $curIdx= 999;  my $curIdx2= 999;  my $curIdx4= 999;  my $sr= 0;  my $srw= -1;
  69. my $rewriteArgListElems= 0;  my @tempArgList= Nil;  my $rewriteArgList= '';  my @WFEcompArgList= Nil;  my @WFEcompArgListTemp= Nil;
  70. my @methodStepOfCallingARGLISTrun= Nil;  my @WFEcompArgListTemp2= Nil;
  71. my @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun= Nil;  my @listOfWFErewritesForGivenARGLISTruleRun= Nil;
  72. my @listOfWFEbraceTypesForGivenARGLISTruleRun= Nil;  my @listOfOPvarietyForGivenARGLISTruleRun= Nil;
  73. my @rewriteArgList= Nil;  my $stopreduction= 0;  my $needNewDescend= 0;  my $rwcode= '';  my $match2= '';  my $lastRunNum= -1;  
  74. my $runNum= 0;  my $continue= 0;  my @tmplateList= Nil;  my $parmSubstnResult= '';  my @parm= Nil;
  75.  
  76. sub fillRestOfArgsV1($startCurIdx)  {
  77.       my $curLocal= $startCurIdx;
  78.       $stopredOP= $rewriteWFE; $stopredWhileMin= $curLocal; $stopredWhileMax= $rewriteArgListElems;
  79.       while  $curLocal < $rewriteArgListElems  {
  80.         @stopredWFEcompArgList[$curLocal]= @WFEcompArgList[$curLocal];
  81.         $rewriteWFE= $rewriteWFE ~ '[' ~ @WFEcompArgList[$curLocal] ~ ']';
  82.         $curLocal= 1 + $curLocal;
  83.       };
  84. };
  85.  
  86. sub trimBrackets(Str $x)  {
  87.       my $local= $x;
  88.       $local= $local.subst( :g , /  '@@1(' (.+?) ')[equals]'  / , -> $/ { '{' ~ $0 ~ '}[equals]' } );
  89.       $local= $local.subst( :g , /^'['([<[a..zA..Z0..9]> | '_' ]+ | \d+)']' / , -> $/ { 'QWWw:' ~ $0 } );
  90.       $local= $local.subst( :g , / '['([<[a..zA..Z0..9]> | '_' ]+ | \d+)']' / , -> $/ { ' :' ~ $0 } );
  91.       $local= $local.subst( :g , /^('QWWw:') / , -> $/ { ':' } );
  92.       $local= $local.subst( :g , / '[@@2 :'([<[a..zA..Z0..9]> | '_' ]+ | \d+)' :'([<[a..zA..Z0..9]> | '_' ]+ | \d+)']' / , -> $/ { '< :' ~ $0 ~ ' :' ~ $1 ~ ' >' } );
  93.       $local= $local.subst( :g , / '[~'(\d+)']' / , -> $/ { ' :~' ~ $0 } );
  94.       $local= $local.subst( :g , / '[@@2 :'([<[a..zA..Z0..9]> | '_' ]+ | \d+)' :~'(\d+)']' / , -> $/ { '< :' ~ $0 ~ ' :~' ~ $1 ~ ' >' } );
  95.       $local= $local.subst( :g , / '[@@2 :~'(\d+)' :'([<[a..zA..Z0..9]> | '_' ]+ | \d+)']' / , -> $/ { '< :~' ~ $0 ~ ' :' ~ $1 ~ ' >' } );
  96.       $local= $local.subst( :g , / '[@@2~'(\d+)' :~'(\d+)']' / , -> $/ { '< ~' ~ $0 ~ ' :~' ~ $1 ~ ' >' } );
  97.       $local= $local.subst( :g , / '['(\%+)']' / , -> $/ { { '[' ~ "{' ' x$0.chars}" ~ ']' } } );
  98.       $local= $local.subst( :g , /^(\%+)$/ , -> $/ { { "{' ' x$0.chars}" } } );
  99.       $local= $local.subst( :g , / (''\d+) ('__') (<[A..Z]>[<[A..Z0..9]> | '_' ]*)  '[' / , -> $/ { $0 ~ $1 ~ $2 ~ ' [' } );
  100.       $local= $local.subst( :g , / (''\d+) ('__') (<[A..Z]>[<[A..Z0..9]> | '_' ]*)  '(' / , -> $/ { $0 ~ $1 ~ $2 ~ ' (' } );
  101.       $local= $local.subst( :g , / (''\d+) ('__') (<[A..Z]>[<[A..Z0..9]> | '_' ]*)  '<' / , -> $/ { $0 ~ $1 ~ $2 ~ ' <' } );
  102.       $local= $local.subst( :g , / '< :'(\d+)' :'([<[a..zA..Z0..9]> | '_' ]+ | \d+)' >' / , -> $/ { '<:' ~ $0 ~ ':' ~ $1 ~ '>' } );
  103.       $local= $local.subst( :g , / ('subItem[') / , -> $/ { 'subItem [' } );
  104.       $local= $local.subst( :g , / ('subItem(') / , -> $/ { 'subItem (' } );
  105.       $local= $local.subst( :g , / ('subItem<') / , -> $/ { 'subItem <' } );
  106.       $local= $local.subst( :g , / ('subItem:') / , -> $/ { 'subItem :' } );
  107.       $local= $local.subst( :g , / ('subVar[') / , -> $/ { 'subVar [' } );
  108.       $local= $local.subst( :g , / ('subVar(') / , -> $/ { 'subVar (' } );
  109.       $local= $local.subst( :g , / ('subVar<') / , -> $/ { 'subVar <' } );
  110.       $local= $local.subst( :g , / ('subVar:') / , -> $/ { 'subVar :' } );
  111.       $local= $local.subst( :g , / ('proc[') / , -> $/ { 'proc [' } );
  112.       $local= $local.subst( :g , / ('proc(') / , -> $/ { 'proc (' } );
  113.       $local= $local.subst( :g , / ('proc<') / , -> $/ { 'proc <' } );
  114.       $local= $local.subst( :g , / ('proc:') / , -> $/ { 'proc :' } );
  115.       $local= $local.subst( :g , / ('term[') / , -> $/ { 'term [' } );
  116.       $local= $local.subst( :g , / ('term(') / , -> $/ { 'term (' } );
  117.       $local= $local.subst( :g , / ('term<') / , -> $/ { 'term <' } );
  118.       $local= $local.subst( :g , / ('term:') / , -> $/ { 'term :' } );
  119.       $local= $local.subst( :g , / 'stepThru'(\d+)'[' / , -> $/ { 'stepThru' ~ $0 ~ ' [' } );
  120.       $local= $local.subst( :g , / 'stepThru'(\d+)'(' / , -> $/ { 'stepThru' ~ $0 ~ ' (' } );
  121.       $local= $local.subst( :g , / 'stepThru'(\d+)'<' / , -> $/ { 'stepThru' ~ $0 ~ ' <' } );
  122.       $local= $local.subst( :g , / 'stepThru'(\d+)':' / , -> $/ { 'stepThru' ~ $0 ~ ' :' } );
  123.       $local= $local.subst( :g , / ('(@@')(\d+) / , -> $/ { '( @@' ~ $1 } );
  124.       $local= $local.subst( :g , / ('[@@')(\d+) / , -> $/ { '[ @@' ~ $1 } );
  125.       $local= $local.subst( :g , / ('[<:::') / , -> $/ { ' {:::  ' } );
  126.       $local= $local.subst( :g , / (':::>]') / , -> $/ { '  :::}' } );
  127.       $local= $local.subst( :g , / ('@@')(\d+)('(') / , -> $/ { $0 ~ $1 ~ ' (' } );
  128.       $local= $local.subst( :g , / ('@@')(\d+)('[') / , -> $/ { $0 ~ $1 ~ ' [' } );
  129.       $local= $local.subst( :g , / ('@@')(\d+)('<') / , -> $/ { $0 ~ $1 ~ ' <' } );
  130.       $local= $local.subst( :g , / (':equals') / , -> $/ { '==' } );
  131.       $local= $local.subst( :g , /  '@@1 (' (.+?) ') =='  / , -> $/ { '{' ~ $0 ~ '} ==' } );
  132. ##      $local= $local.subst( :g , /  '@@1 (' ('~'\d+) ') =='  / , -> $/ { '{' ~ $0 ~ '} ==' } );
  133. };
  134.  
  135. sub normalizeOrigCodes(Str $x)  {
  136.       my $local= $x;
  137.       $local= $local.subst( :g , / ('==') / , -> $/ { ':equals' } );
  138.       $local= $local.subst( :g , / ('{:::') / , -> $/ { '[<:::' } );
  139.       $local= $local.subst( :g , / (':::}') / , -> $/ { ':::>]' } );
  140.       $local= $local.subst( :g , / (' : ') / , -> $/ { '   ' } );
  141.       $local= $local.subst( :g , / 'Run' / , -> $/ { 'goTo0' } );
  142.       $local= $local.subst( :g , / '('<[A..Z]>[<[A..Z0..9]> | '_' ]*','\s* / , -> $/ { '( ' } );
  143.       $local= $local.subst( :g , / '['<[A..Z]>[<[A..Z0..9]> | '_' ]*','\s* / , -> $/ { '[ ' } );
  144.       $local= $local.subst( :g , / '[' (\s+) ']' / , -> $/ { '[' ~ "{'%' x$0.chars}" ~ ']' } );
  145.       $local= $local.subst( :g , / '(' \s* [<[a..zA..Z]>]+  '##  '  \s* / , -> $/ { '(' } );
  146.       $local= $local.subst( :g , / '[' \s* [<[a..zA..Z]>]+  '##  '  \s* / , -> $/ { '[' } );
  147.       $local= $local.subst( :g , / '['  ([[<[a..z0..9;,]>]+]+)(\s*)  ']' / , -> $/ { '[' ~ $0 ~ "{'#' x$1.chars}" ~ ']' } );
  148.       $local= $local.subst( :g , / (\s+) / , -> $/ { '' } );
  149.       $local= $local.subst( :g , / ([<[#]>]+) / , -> $/ { "{' ' x$0.chars}" } );
  150.       $local= $local.subst( :g , / ('<:::') / , -> $/ { '&&x&&' } );
  151.       $local= $local.subst( :g , / (':::>') / , -> $/ { '&&y&&' } );
  152.       $local= $local.subst( :g , / (':~')(\d+) ('__') (<[A..Z]>[<[A..Z0..9]> | '_' ]*) / , -> $/ { '[' ~ '~' ~ $1 ~ ']' } );
  153.       $local= $local.subst( :g , / (':~')(\d+) / , -> $/ { '[' ~ '~' ~ $1 ~ ']' } );
  154.       $local= $local.subst( :g , / ('<') / , -> $/ { '[@@2' } );
  155.       $local= $local.subst( :g , / ('>') / , -> $/ { ']' } );
  156.       $local= $local.subst( :g , / ('&&x&&') / , -> $/ { '<:::' } );
  157.       $local= $local.subst( :g , / ('&&y&&') / , -> $/ { ':::>' } );
  158.       $local= $local.subst( :g , / (':::') / , -> $/ { '&&&&' } );
  159.       $local= $local.subst( :g , / ':' (\d+) / , -> $/ { '-' ~ $0 } );
  160.       $local= $local.subst( :g , / ':' ([<[a..zA..Z0..9]> | '_' ]+ | \d+) / , -> $/ { '-' ~ $0 } );
  161.       $local= $local.subst( :g , / ('&&&&') / , -> $/ { ':::' } );
  162.       $local= $local.subst( :g , / '-' (\d+) / , -> $/ { '[' ~ $0 ~ ']' } );
  163.       $local= $local.subst( :g , / '-' ([<[a..zA..Z0..9]> | '_' ]+ | \d+) / , -> $/ { '[' ~ $0 ~ ']' } );
  164.       $local= $local.subst( :g , / ('proc[') ([<[a..zA..Z0..9]> | '_' ]+ | \d+) ('][') (\d+) (']{:::') (.+?) (':::}')  / , -> $/ { $0 ~ $1 ~ $2 ~ $3 ~ '][<:::' ~ $5 ~ ':::>]' } );
  165.       $local= $local.subst( :g , / ('proc[') ([<[a..zA..Z0..9]> | '_' ]+ | \d+) ('][') (\d+) (']{') (.+?) ('}')  / , -> $/ { $0 ~ $1 ~ $2 ~ $3 ~ '][<:::' ~ $5 ~ ':::>]' } );
  166.       $local= $local.subst( :g , /  '{' (.+?) '}'  / , -> $/ { '@@1(' ~ $0 ~ ')' } );
  167. ##      $local= $local.subst( :g , /  '{' ('~'\d+) '}'  / , -> $/ { '@@1(' ~ $0 ~ ')' } );
  168. };
  169.  
  170. $lastRwcodeDef=  
  171. 'stepBy
  172. ( jumpTo::=1={:::  id ( ~0:x1 (concat:x(~0:x0))  ( ~0 :x1) )  :::} )
  173. ';
  174.  
  175. $lastRwcode= normalizeOrigCodes($lastRwcodeDef);
  176.  
  177. say "\n\n\n\nOriginal Codes:  ";
  178. say "---------------\n\n$origRwcode  ";
  179. say "\n\n\nNormalized Codes:  ";
  180. say "-----------------\n\n{normalizeOrigCodes($origRwcode)}  \n\n";
  181.  
  182. $rwcode= '';
  183.  
  184. grammar Rewrite4
  185. {     
  186.     rule  TOP      {  
  187.                      {
  188.                        if $sr > $srMax  {
  189.                          $srMax= $sr;
  190.                        };
  191.                        $englobingNoRWdegree= 0;
  192.                        $sr++;     
  193.                      }
  194.                      <WFE>
  195.                      {$sr--;}         
  196.                    };
  197.     rule  WFE      {  
  198.                      {
  199.                        $srw++;
  200.                        if $sr > $srMax  {
  201.                          $srMax= $sr;
  202.                        };
  203.                        if  $sr == 1  {
  204.                          @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr + 3]= -1;
  205.                        }
  206.                        else  {
  207.                          if  @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr + 1] == -1  {
  208.                            @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr + 3]= -1;
  209.                          };
  210.                          $BIStemp2= @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr + 1] + 1;
  211.                          $BIStemp22= @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr + 1] + 1;
  212.                          @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr + 1]= $BIStemp2;
  213.                        };
  214.                        if  $sr > 2  {
  215.                          if  $runNum > 0   {
  216.                             if  @curWFEbrace[$sr - 1] === '['  {
  217.                              if  $englobingNoRWdegree == 0  {
  218.                                $englobingNoRWdegree= 1;
  219.                                @isBaseBISlistOfWFEbraceTypesForGivenARGLISTruleRun[$sr + 1][$BIStemp2]= 1;
  220.                               }
  221.                              else  {
  222.                                @isBaseBISlistOfWFEbraceTypesForGivenARGLISTruleRun[$sr + 1][$BIStemp2]= 0;
  223.                                $englobingNoRWdegree++;
  224.                              };
  225.                            }
  226.                            else  {
  227.                              @isBaseBISlistOfWFEbraceTypesForGivenARGLISTruleRun[$sr + 1][$BIStemp2]= 0;
  228.                            };
  229.                          };
  230.                        };
  231.  
  232.                        @OPvariety[$sr]= 'na';
  233.                        $sr++;
  234.                        $tmplateOP= 0;
  235.                      }
  236.                      <OP> <ARGLIST>  
  237.                      {$sr--;}  
  238.                    };
  239.     rule  ARGLIST  {  
  240.                      {
  241.                        if $sr > $srMax  {
  242.                          $srMax= $sr;
  243.                        };
  244.                        @curbraceIdx[$sr]= 0;
  245.                        $sr++;
  246.                      }
  247.                      [<ARG>]*
  248.                      {$sr--;}
  249.                    };
  250.     rule  ARG      {
  251.                      [(['('|'[']){@curWFEbrace[$sr - 1]= $0.Str;}<.eol>* <WFE>[')'|']']]
  252.                    };
  253.  
  254.     proto  token    OP    {*}
  255.     token  OP:sym<NUM>    { <NUM> }
  256.     token  NUM            {  
  257.                             \d+
  258.                           };
  259.     token  OP:sym<OP3>    { <OP3> }
  260.     token  OP3            {  
  261.                             <:alpha>\w*
  262. #                           <[a..zA..Z]>[<[a..z0..9]>]*     
  263.                           };
  264.     token  OP:sym<OP5>    { <OP5> }
  265.     token  OP5            {
  266.                            'stepBy'|'id'|'term'|'proc'|'subItem'|'subVar'|'maps'|'isVector'|'isSubstnTemplate'|'isPointy'|'concat'|'string'|'selfRepeat'|'cTerm'\d+|'@@'\d+|'add'|'sub'|'mult'|'IF'|\w+'::='\d+'='|'goTo'\d+|'say'|'dcl'|'stepThru'\d+
  267.                           };
  268.     token  OP:sym<OP2>    { <OP2> }
  269.     token  OP2            {  
  270.                             [[[<[a..zA..Z0..9]> | '_' ]+]]|'defTerm'|'defProc'|'ERROR'|'nil'|'hellotwelve'|'two'|'four'|'six'|'offhook'|'('|')'|'['|']'|'$'|'; '|': '|':'|'<<'|'>>'|'vector'|'~'|'+'|'-'|'='|'&'|'!'|'*'|'"'|'/'|"\\"|"\'"|[\%+]|[\.+]|[\,+]|[\;+]
  271.                           };
  272.     token  OP:sym<PROC2>  { <PROC2> }
  273.     token  PROC2          {  
  274.                            '%'\d+ [<ARG>]+  
  275.                           };
  276.     token  OP:sym<PROC>   { <PROC> }
  277.     token  PROC           {  
  278.                             ['<' \s* [<OP><ARGLIST>] \s* [[';'] \s* [<OP><ARGLIST>] \s*]*  '>']     
  279.                           };
  280.     token  OP:sym<OP6>    { <OP6> }
  281.     token  OP6            {  
  282.                             '<:::' \s*  ['.'|'@@'|'__'|'@'|'('|'='|','|'['|')'|']'|'~'|\d|\w|\n|\s]+  \s*  ':::>'                             
  283.                           };
  284.     token eol             { [ <[#;]> \N* ]? \n };
  285.  };
  286.  
  287. class RewriteAction4 {
  288.  
  289.    method TOP($/) {
  290.       $/.make($rewriteWFE);
  291.       $stopreduction= 0;
  292.       $needNewDescend= 0;
  293.    };
  294.  
  295.    method WFE($/) {
  296.       $stopredOP= '';  $stopredWhileMin= 0;  $stopredWhileMax= 0;
  297.       $wrongArgTypes= 0;
  298.       $saySuccess= 0;
  299.       $addMultSuccess= 0;
  300.       @OPstr[$sr]= $<OP>.Str;
  301.       if  $runNum > 0  {
  302.         if  $lastRunNum < $runNum  {
  303.           $lastRunNum= $runNum;
  304.           say "  " if  $debug; say "  " if  $debug; say "  " if  $debug;
  305.  
  306.           if  $runNum == 1  {$entryWFE2= normalizeOrigCodes($origRwcode);}  else  {$entryWFE2= $rwcode;};
  307.           say "\n\n\n  " if  (($debug4 == 1) and (not($debug2 == 1)));
  308.           say "\n\n" if  (($debug4 == 1) and ($debug2 == 1));
  309.  
  310.           say "\n\n\n\n==========================================================================>" if  (($debug2 == 1) and ($debug4 == 0));
  311.           say "\( TREE DESCEND #{$runNum}: \)" if  (($debug2 == 1) and ($debug4 == 0));
  312.           say ". . . . . .  " if  (($debug2 == 1) and ($debug4 == 0));
  313.  
  314.           if  $runNum == 1  {
  315.             say '"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""' if  $debug4;
  316.             say "\( STARTING TREE DESCEED #1: \)\n\n           {trimBrackets($entryWFE2)}\n" if  ($debug4 == 1) and ($debug2 == 0);
  317.             say "\( STARTING TREE DESCNND #1: \)\n" if  ($debug4 == 1) and ($debug2 == 1);
  318.           }
  319.           else {
  320.             say "\n==========================================================================>" if  $debug4;
  321.             say "\( TREE DESCEND #{$runNum}: \)\n\n           {trimBrackets($entryWFE2)}\n" if  ($debug4 == 1) and ($debug2 == 0);
  322.             say "\( TREE DESCEND #{$runNum}: \)\n" if  ($debug4 == 1) and ($debug2 == 1);
  323.           };
  324.         };
  325.         if  $rewriteArgListElems == 0  { $temp1= $<OP>.Str; }
  326.         else  { $temp1= "{ if  $sr == 1  {"\n           "}}" ~ $<OP>.Str ~ @rewriteArgList[$sr + 1]; };
  327.  
  328.         if  $englobingNoRWdegree > 0  { $noSkips= 0; }  else  { $noSkips= 1; };
  329.         say "  " if  $debug;
  330.       };
  331.  
  332.       if  $stopreduction == 1  {}
  333.       elsif  $englobingNoRWdegree > 0  {
  334.         say "  " if  $debug;
  335.         if  $sr > 1  {
  336.           if  $rewriteArgListElems == 0  {
  337.             say ".{'m' x$sr}.LEVEL$sr  \(type @OPvariety[$sr] w $rewriteArgListElems args\)  0SKIP\.$englobingNoRWdegree:  {trimBrackets($temp1)}" if  (($englobingNoRWdegree == 1) and ($needNewDescend == 0) and ($debug4 == 1) and (not($debug2 == 1)));
  338.           };
  339.         }
  340.         else  {
  341.           say ".{'m' x$sr}.LEVEL$sr  \(type @OPvariety[$sr] w $rewriteArgListElems args\)  1SKIPnestg$englobingNoRWdegree:" if  (($englobingNoRWdegree == 1) and ($needNewDescend == 0) and ($debug4 == 1) and (not($debug2 == 1)));
  342.         };
  343.       };
  344.       if  $sr > 2  {
  345.         $BIStemp2= @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr + 1];
  346.       };
  347.       if  $rewriteArgListElems == 0  {
  348.         $rewriteWFE= $<OP>.Str;
  349.         if  ($runNum > 0) and ($stopreduction == 0) and ($englobingNoRWdegree == 0)  {
  350.         };
  351.         $entryWFE= $<OP>.Str;
  352.         if  $sr > 2  {
  353.           @listOfCurBraces[$sr-1][@curbraceIdx[$sr-1]]= @curWFEbrace[$sr - 1];
  354.           if  @curbraceIdx[$sr-1] == 0  {
  355.             $curBrace= @curWFEbrace[$sr - 1];
  356.           }
  357.           else  {
  358.             if  @curWFEbrace[$sr - 1] === '['  { $curBrace= '['; } else  { $curBrace= '('; };
  359.           };
  360.         };
  361.         if  $runNum > 0  { if  $stopreduction == 1  { $wrongArgTypes= 1; }; };
  362.       }
  363.       else  {
  364.         $rewriteWFE= $<OP>.Str ~ @rewriteArgList[$sr + 1];
  365.  
  366.         $entryWFE= $rewriteWFE;
  367.         if  $sr > 2  {
  368.           @listOfCurBraces[$sr-1][@curbraceIdx[$sr-1]]= @curWFEbrace[$sr - 1];
  369.           if  @curbraceIdx[$sr-1] == 0  { $curBrace= @curWFEbrace[$sr - 1]; }
  370.           else  {
  371.             if  @curWFEbrace[$sr - 1] === '['  { $curBrace= '['; }
  372.             else  { $curBrace= '('; };
  373.           };
  374.         };
  375.  
  376.         if  $runNum == 0  {}  
  377.         elsif  $englobingNoRWdegree > 0  {
  378.           $curIdx= 0;
  379.           $stopredOP= $<OP>.Str; $stopredWhileMin= $curIdx; $stopredWhileMax= $rewriteArgListElems;
  380.           while  $curIdx < $rewriteArgListElems  {
  381.             if  @currentARGLISTlistOfBraceTypesOfComponentWFEs[$curIdx] === '['
  382.             { $tempLeftBrace= '['; $tempRightBrace= ']'; }
  383.             else  { $tempLeftBrace= '('; $tempRightBrace= ')'; };
  384.             @stopredWFEcompArgList[$curIdx]= $tempLeftBrace ~ @WFEcompArgList[$curIdx] ~ $tempRightBrace;
  385.             $curIdx++;
  386.           };
  387.  
  388.           # say ".{'m' x$sr}.LEVEL$sr  \(type @OPvariety[$sr] w $rewriteArgListElems args\)  22SKIP\.$englobingNoRWdegree:  {trimBrackets($entryWFE)}" if  (($englobingNoRWdegree == 1) and ($needNewDescend == 0) and ($debug4 == 1) and (not($debug2 == 1)));
  389.           say ".{'m' x$sr}.LEVEL$sr  \(type @OPvariety[$sr] w $rewriteArgListElems args\)  2SKIP\.$englobingNoRWdegree:  " if  (($englobingNoRWdegree == 1) and ($needNewDescend == 0) and ($debug4 == 1) and (not($debug2 == 1)));
  390.           say "        {'|' x$sr}  {trimBrackets($stopredOP)}" if  (($englobingNoRWdegree == 1) and ($needNewDescend == 0) and ($debug4 == 1) and (not($debug2 == 1)));
  391. #          say "        {'|' x$sr}  $stopredOP" if  (($englobingNoRWdegree == 1) and ($needNewDescend == 0) and ($debug4 == 1) and (not($debug2 == 1)));
  392.           $curIdx= $stopredWhileMin;
  393.           while  $curIdx < $stopredWhileMax  {
  394.             $entryWFE2= "{@stopredWFEcompArgList[$curIdx]}";
  395.             say "        {'|' x$sr}  {trimBrackets($entryWFE2)}" if  (($englobingNoRWdegree == 1) and ($needNewDescend == 0) and ($debug4 == 1) and (not($debug2 == 1)));
  396. #            say "        {'|' x$sr}  $entryWFE2" if  (($englobingNoRWdegree == 1) and ($needNewDescend == 0) and ($debug4 == 1) and (not($debug2 == 1)));
  397.             $curIdx= $curIdx + 1;
  398.           };
  399.         }  
  400.         else  {
  401.           $rewriteWFE= $<OP>.Str ~ @rewriteArgList[$sr + 1];
  402.           if  $stopreduction == 1  {}  else  {
  403.             if  @OPvariety[$sr] === 'NUM'  { $rewriteWFE= $<OP>.Str; }
  404.             elsif  @OPvariety[$sr] === 'PROC'  { $stopreduction= 1; }
  405.             elsif  @OPvariety[$sr] === 'OP5'  {
  406.  
  407.               if  ($<OP>.Str === 'IF') and ($rewriteArgListElems > 2)  {
  408.                 if  @WFEcompArgList[0] === '0'  {$rewriteWFE= @WFEcompArgList[1]; }
  409.                 else  {$rewriteWFE= @WFEcompArgList[2]; };
  410.                 fillRestOfArgsV1(3); $stopreduction= 1; }
  411.  
  412.               elsif  ($<OP>.Str === 'stepBy') and ($rewriteArgListElems > 0)  {
  413.                 $rewriteWFE= @WFEcompArgList[$rewriteArgListElems - 1];
  414.                 $stopreduction= 1;
  415.                 $stopredOP= $rewriteWFE; $stopredWhileMin= 0; $stopredWhileMax= 0; }
  416.  
  417.               elsif  ($<OP>.Str === 'id') and ($rewriteArgListElems > 0)  {
  418.                 $rewriteWFE= @WFEcompArgList[0];
  419.                 fillRestOfArgsV1(1); $stopreduction= 1; }
  420.  
  421.               elsif  ($<OP>.Str === 'say') and ($runNum > 0)  {
  422. say "  " if  (($debug2 == 0) and ($debug4 == 1));
  423. say "        {' ' x$sr}  {'( ****** LEVEL'}$sr {'ACTION '}\#$output\:  {'say  '}\)    {@WFEcompArgList[0]}";
  424. say "  " if  (($debug2 == 1) and ($debug4 == 0));
  425.                 $rewriteWFE= 'nil';
  426.                 $output++;
  427.                 $saySuccess= 1;
  428.               }
  429.  
  430.               elsif  (($<OP>.Str === 'concat') or ($<OP>.Str === 'string')) and ($rewriteArgListElems > 0)  {
  431.                 $rewriteWFE= '';
  432.                 $curIdx= 0;
  433.                 while  $curIdx < $rewriteArgListElems  { 
  434.                   $input=  @WFEcompArgList[$curIdx];             
  435.                   @tempStmt[0]= ''; 
  436.                   $input= $input.subst( :g , /^(\%+)$/ ,
  437.                           -> $/ { @tempStmt[0]= 'ok'; "{' ' x$0.chars}" } );
  438.                   if  @tempStmt[0] ~~ 'ok'  {$rewriteWFE= $rewriteWFE ~ $input;}
  439.                   else  {$rewriteWFE= $rewriteWFE ~ @WFEcompArgList[$curIdx];};
  440.                   $curIdx= $curIdx + 1;
  441.                 };
  442.                 if  $<OP>.Str === 'string'  {  $stopreduction= 1;
  443.                   $stopredOP= $rewriteWFE; $stopredWhileMin= 0; $stopredWhileMax= 0; }; }
  444.  
  445.               elsif  $runNum > 0  {
  446.  
  447.                 $input= $<OP>.Str;
  448.                 @tempStmt[0]= ''; @tempStmt[1]= ''; @tempStmt[2]= ''; @tempStmt[3]= '';
  449.                 $tp1= $input.subst( :g , /(\w+)(['::='])(\d+)(['='])/ ,
  450.                           -> $/ { @tempStmt[0]= $0; @tempStmt[1]= $1;
  451.                                   @tempStmt[2]= $2; @tempStmt[3]= $3 } );
  452.                 if  (@tempStmt[1] ~~ '::=') and (@tempStmt[3] ~~ '=')  {
  453.                   if  %*PROCS{"{@tempStmt[0]}"} === Any  {
  454.                     %*PROCS{"{@tempStmt[0]}"}= @WFEcompArgList[0];
  455.                     %*PROCSparmNum{"{@tempStmt[0]}"}= @tempStmt[2];
  456.                     $rewriteWFE= 'nil';
  457.                   }  else  {die "duplicated shorthand"; }; };
  458.  
  459.                 $input= $<OP>.Str;
  460.                 @tempStmt[0]= ''; @tempStmt[1]= '';
  461.                 $tp1= $input.subst( :g , /^(['stepThru'])(\d+)/ ,
  462.                           -> $/ { @tempStmt[0]= $0; @tempStmt[1]= $1; }  );
  463.                 if  (@tempStmt[0] ~~ 'stepThru') and ($rewriteArgListElems > @tempStmt[1].Int)  {
  464.                   $rewriteWFE= @WFEcompArgList[@tempStmt[1].Int];
  465.                   fillRestOfArgsV1(@tempStmt[1].Int + 1); $stopreduction= 1;
  466.                 };
  467.  
  468.                 $input= $<OP>.Str;
  469.                 $tp1= ''; @tempStmt[0]= ''; @tempStmt[1]= '';
  470.                 $tp1= $input.subst( :g , /^(['cTerm'])(\d+)/ ,
  471.                         -> $/ { @tempStmt[0]= $0; @tempStmt[1]= $1 } );
  472.                 if  (@tempStmt[0] ~~ 'cTerm') and (@tempStmt[1] > 0)  {
  473.                   if  $rewriteArgListElems == @tempStmt[1]  {}
  474.                   elsif  $rewriteArgListElems < @tempStmt[1]  {$rewriteWFE= 'ERROR too short'; die; }
  475.                   elsif  $rewriteArgListElems > @tempStmt[1]  {
  476.                     $tp2= $<OP>.Str; 
  477.                     $curIdx= 0; while  $curIdx < (@tempStmt[1] + 1)  { $tp2= $tp2 ~ '[' ~ @WFEcompArgList[$curIdx] ~ ']';  $curIdx= $curIdx + 1; };
  478.                     if  %*TERMS{"{$tp2}"}  === Any  {}  else  {
  479.                       $rewriteWFE= %*TERMS{"{$tp2}"};
  480.                       fillRestOfArgsV1(@tempStmt[1] + 1);
  481.                       $stopreduction= 1; }; }; };
  482.  
  483.                 $input= $<OP>.Str;
  484.                 $tp1= '';
  485.                 @tempStmt[0]= ''; @tempStmt[1]= '';
  486.                 $tp1= $input.subst( :g , /^(['@@'])(\d+)/ ,
  487.                         -> $/ { @tempStmt[0]= $0; @tempStmt[1]= $1 } );
  488.                 if  (@tempStmt[0] ~~ '@@')
  489.                     and ((@tempStmt[1] > 0) or (@tempStmt[1] == 0))  {
  490.                   $tp0= @tempStmt[0];
  491.                   if  $rewriteArgListElems == @tempStmt[1]  {}
  492.                   elsif  $rewriteArgListElems < @tempStmt[1]  {$rewriteWFE= 'ERROR';}
  493.                   elsif  $rewriteArgListElems > @tempStmt[1]  {
  494.  
  495.                     if  (@WFEcompArgList[@tempStmt[1]] ~~ 'setSubVar')
  496.                            and ((@tempStmt[1] > 0) or (@tempStmt[1] == 0))  {
  497.                       if  @tempStmt[1] == 0  {
  498. #                       $rewriteWFE= 'assocList1[subVar['  ~ @WFEcompArgList[1] ~ '][' ~ @WFEcompArgList[2] ~ ']]';
  499.                         if  $rewriteArgListElems > 2  {
  500.                           $rewriteWFE= $tp0 ~ '1[subVar['  ~ @WFEcompArgList[1] ~ '][' ~ @WFEcompArgList[2] ~ ']]';
  501.                           if  $rewriteArgListElems > 3  {
  502.                             fillRestOfArgsV1(3); 
  503.                             $stopreduction= 1; }; }; }
  504.                       else  {
  505.                         if  ( $rewriteArgListElems > (@tempStmt[1] + 2) )  {
  506.                           @WFEcompArgListTemp[@tempStmt[1] + 1]
  507.                             = 'subVar[' ~ @WFEcompArgList[@tempStmt[1] + 1] ~ ']';
  508.                           $rewriteWFE= '';
  509.                           $input= @WFEcompArgListTemp[@tempStmt[1] + 1]
  510.                                   ~ '[' ~ @WFEcompArgList[@tempStmt[1] + 2] ~ ']';
  511.                           $tp1= '';
  512.                           $curIdx= 0;
  513.                           while  $curIdx < @tempStmt[1]  {
  514.                             if  ( 'subVar[' ~ %*AssocListArg0{"{@WFEcompArgList[$curIdx]}Arg0"} ~ ']' ~~ @WFEcompArgListTemp[@tempStmt[1] + 1] )  {
  515.                               if  ( ('subVar[' ~ %*AssocListArg0{"{@WFEcompArgList[$curIdx]}Arg0"} ~ ']'
  516.                                          ~ '[' ~ %*AssocListArg1{"{@WFEcompArgList[$curIdx]}Arg1"} ~ ']' )
  517.                                     ~~ @WFEcompArgList[$curIdx] )  {
  518.                                 $rewriteWFE= $rewriteWFE ~ '[' ~ $input ~ ']';
  519.                                 $tp1= 'SUCCESS'; }
  520.                               else  {$rewriteWFE= 'ERRORvvvvvvvvvvvvvvvvvvvvvvvv'; $stopreduction= 1;}; }
  521.                             else  {
  522.                               $rewriteWFE= $rewriteWFE ~ '[' ~ @WFEcompArgList[$curIdx] ~ ']';
  523.                             };
  524.                             $curIdx= $curIdx + 1;
  525.                             if  $curIdx == @tempStmt[1]  {
  526.                               if  $tp1 ~~ 'SUCCESS'  {$rewriteWFE= $tp0 ~ "{@tempStmt[1]}" ~ $rewriteWFE;}
  527.                               else  {
  528.                                 $rewriteWFE= $tp0 ~ "{@tempStmt[1] + 1}" ~ $rewriteWFE ~ '[' ~ $input ~ ']'; }; }; };
  529.                           if  $rewriteArgListElems > (@tempStmt[1] + 3)  {
  530.                             fillRestOfArgsV1(@tempStmt[1] + 3);
  531.                             $stopreduction= 1; }; }; }; }
  532.  
  533.                     elsif  ((@WFEcompArgList[@tempStmt[1]] ~~ 'getSubVar')
  534.                          or (@WFEcompArgList[@tempStmt[1]] ~~ 'getSubItem'))
  535.                         and ((@tempStmt[1] > 0) or (@tempStmt[1] == 0))  {
  536.                       if  ( $rewriteArgListElems < (@tempStmt[1] + 2) )  {}
  537.                       else  {
  538.                         $rewriteWFE= 'nil';
  539.                         $curIdx= 0;
  540.                         while  $curIdx < @tempStmt[1]  {
  541.                           if  ( %*AssocListArg0{"{@WFEcompArgList[$curIdx]}Arg0"} ~~ @WFEcompArgList[@tempStmt[1] + 1] )  {
  542.                             $rewriteWFE= %*AssocListArg1{"{@WFEcompArgList[$curIdx]}Arg1"};
  543.                             if  @WFEcompArgList[@tempStmt[1]] ~~ 'getSubVar'  {
  544.                               if  ( ('subVar[' ~ @WFEcompArgList[@tempStmt[1] + 1] ~ '][' ~ $rewriteWFE ~ ']') ~~ @WFEcompArgList[$curIdx] )  {}
  545.                               else  {$rewriteWFE= 'ERROR'; die "subVar hash problem"; };
  546.                             } 
  547.                             else  {
  548.                               if  ( ('subItem[' ~ @WFEcompArgList[@tempStmt[1] + 1] ~ '][' ~ $rewriteWFE ~ ']') ~~ @WFEcompArgList[$curIdx] )  {}
  549.                               else  {$rewriteWFE= 'ERROR'; die "subItem hash problem"; };
  550.                             };
  551.                             $curIdx= @tempStmt[1];
  552.                           }
  553.                           else  {$curIdx= $curIdx + 1; };
  554.                         };
  555.                         if  ( $rewriteWFE ~~ 'nil' )  {}
  556.                         else  {fillRestOfArgsV1(@tempStmt[1] + 2); $stopreduction= 1; }; }; }
  557.  
  558.                     elsif ((@WFEcompArgList[@tempStmt[1]] ~~ 'x0') or
  559.                            (@WFEcompArgList[@tempStmt[1]] ~~ 'x1') or
  560.                            (@WFEcompArgList[@tempStmt[1]] ~~ 'x2')) 
  561.                            and (@tempStmt[1] > 0)  {
  562.                       $input= @WFEcompArgList[@tempStmt[1]];
  563.                       @tempStmt[2]= '';
  564.                       $tp2= $input.subst( :g , /^['x'](\d+)/ ,
  565.                               -> $/ { @tempStmt[2]= $0; } );
  566.                       if  @tempStmt[2] < @tempStmt[1]  {
  567.                         $rewriteWFE= @WFEcompArgList[@tempStmt[2]];
  568.                         fillRestOfArgsV1(@tempStmt[1] + 1); $stopreduction= 1; }; }
  569.  
  570.                     else  {
  571.                       $rewriteWFE= @WFEcompArgList[@tempStmt[1]];
  572.                       $curIdx= 0;
  573.                       while  $curIdx < $rewriteArgListElems  {  
  574.                         if  $curIdx !== @tempStmt[1]  {$rewriteWFE= $rewriteWFE ~ '[' ~ @WFEcompArgList[$curIdx] ~ ']'; }; 
  575.                         $curIdx= $curIdx + 1;
  576.                       };
  577.                       $stopreduction= 1;
  578.                       $stopredOP= $rewriteWFE; $stopredWhileMin= 0; $stopredWhileMax= 0; }; }
  579.  
  580.                   else  {};
  581.                 };
  582.  
  583.               }
  584.               else { die "cccc"; };
  585.             }
  586.  
  587.             elsif  (@OPvariety[$sr] === 'OP2') or (@OPvariety[$sr] === 'OP3')  {
  588.               $input= %*PROCS{"{$<OP>.Str}"};
  589.               if  $input === Any  {
  590.                 $input= %*TERMS{"{$<OP>.Str ~ '[' ~ @WFEcompArgList[0] ~ ']'}"};
  591.                 if  $input === Any  {}
  592.                 else  {
  593.                   $rewriteWFE= $input;
  594.                   fillRestOfArgsV1(1);
  595.                   $wrongArgTypes= 1;
  596.                   $stopreduction= 1;
  597.                 };
  598.               }
  599.               elsif  $rewriteArgListElems < %*PROCSparmNum{"{$<OP>.Str}"}  {}  else  {  
  600. say "zzzzzzzzzzzz0    sr $sr    OPvariety {@OPvariety[$sr]}    Elems $rewriteArgListElems";
  601.                 $tp0= '___';  $tp1= $<OP>.Str;  @tempStmt[0]= '___';  
  602. say "zzzzzzzzzzzz1   tp0 $tp0   tp1 $tp1    WFEcompArgList0 @WFEcompArgList[0]  ";
  603.                 if  %*PROCS{"{@WFEcompArgList[0]}"} === Any  {}  else  {
  604.                   $input= %*PROCS{"{@WFEcompArgList[0]}"}.Str;
  605. say "zzzzzzzzzzzz2   input $input    ";
  606.                   $input= $input.subst( :g  ,
  607.   / ('@@')\d+ '[' ('CallSession') ']' / ,
  608.      -> $/ { @tempStmt[0]=  $0; } );
  609. say "zzzzzzzzzzzz3   tempStmt0 {@tempStmt[0]}    ";
  610.                   if  @tempStmt[0] ~~ '@@'  {$tp0= @WFEcompArgList[0];};
  611.                 }; 
  612. say "zzzzzzzzzzzz4   tp0 $tp0   tp1 $tp1    WFEcompArgList0 @WFEcompArgList[0]  ";
  613.  
  614.                 $curIdx2= 0;
  615.                 while  $curIdx2 < $rewriteArgListElems  {
  616.                   @WFEcompArgListTemp[$curIdx2]= @WFEcompArgList[$curIdx2];
  617.                   $curIdx2= $curIdx2 + 1;
  618.                 };
  619.  
  620.                 $curIdx2= 0;
  621.                 while  $curIdx2 < $rewriteArgListElems  {
  622.                   $input= @WFEcompArgListTemp[$curIdx2];
  623. say "zzzzzzzzzzzz5    curIdx2 $curIdx2    tp0 $tp0    input $input ";
  624.                   @tempStmt[0]= 'com'; @tempStmt[1]= 'rew';@tempStmt[2]= 'com2'; @tempStmt[3]= 'rew2';
  625.                   $input= $input.subst( :g  ,
  626.   / ^(''\d+) ('__') (<[A..Z]>[<[A..Z0..9]> | '_' ]*)  ['('|'['] (.+) [')'|']']$/ ,
  627.      -> $/ { @tempStmt[0]=  $0; @tempStmt[1]=  $1; @tempStmt[2]=  $2; @tempStmt[3]=  $3; } );
  628.  
  629.                   if  (@tempStmt[1] ~~ '__')  {
  630.                     @WFEcompArgListTemp[$curIdx2]= @tempStmt[3];
  631.  
  632.                     if  $tp0 ~~ '___'  {}  else  {
  633.                       if  %*GOTOARGNAMES{"{$tp0 ~ '--' ~ "{$curIdx2}"}"} === Any  {
  634.                         %*GOTOARGNAMES{"{$tp0 ~ '--' ~ "{$curIdx2}"}"}=  @tempStmt[0] ~ @tempStmt[1] ~ @tempStmt[2];
  635. say "zzzzzzzzzzzz6    curIdx2 $curIdx2    tp0 $tp0    GOTOARGNAMES {%*GOTOARGNAMES{"{$tp0 ~ '--' ~ "{$curIdx2}"}"}}    ";
  636.                       };
  637.                     };
  638.                   };    
  639.                   $curIdx2= $curIdx2 + 1;
  640.                 };
  641.  
  642.                 if  %*PROCSparmNum{"{$<OP>.Str}"} == 0  {
  643.                   $input= %*PROCS{"{$<OP>.Str}"};
  644.                   $input= $input.subst( :g , / '<:::' / , -> $/ { '' } );
  645.                   $input= $input.subst( :g , / ':::>' / , -> $/ { '' } );
  646.                   $rewriteWFE= $input;
  647.                   fillRestOfArgsV1(0); $stopreduction= 1;
  648.                 }
  649.                 else  {
  650.                   ## $tmplateOP= 1;
  651.                   $actualTemplate= $<OP>.Str;
  652.                   $tmplateNumOfParms= %*PROCSparmNum{"{$<OP>.Str}"};
  653.                   if  $rewriteArgListElems < $tmplateNumOfParms  {
  654.                     $parmSubstnResult= $actualTemplate;
  655.                     $curIdx= 0;
  656.                     while  $curIdx < $rewriteArgListElems  {
  657.                       $parmSubstnResult= $parmSubstnResult ~ '[' ~ @WFEcompArgList[$curIdx] ~ ']';
  658.                       $curIdx= $curIdx + 1;
  659.                     };
  660.                     $wrongArgTypes= 1;
  661.                   }
  662.                   else  {
  663.                     $input= %*PROCS{"{$<OP>.Str}"};
  664.                     $tp2= $input;
  665.                     $tmplateStr= $input;
  666.                     $input= $input.subst( :g , / '<:::' / , -> $/ { '' } );
  667.                     $input= $input.subst( :g , / ':::>' / , -> $/ { '' } );
  668.                     if  $input === $tp2  {$parmSubstnResult= $tp2; }  
  669.                     else  {
  670.                       $input= $input.subst( :g , / ('~')(\d+) ('__') (<[A..Z]>[<[A..Z0..9]> | '_' ]*) / , -> $/ { $0 ~ $1 } );
  671.                       $tp1= $input.subst( :g , / '~'(\d+) / ,
  672.                             -> $/ { @WFEcompArgListTemp[$0]; } );
  673.                       $parmSubstnResult= $tp1;
  674.                       $wrongArgTypes= 1;
  675.                       $stopreduction= 1;
  676.                     };
  677.                   };
  678.  
  679.                   $rewriteWFE= $parmSubstnResult;
  680.                   if  $parmSubstnResult ~~ $tp2  {fillRestOfArgsV1(0); }
  681.                   else  {fillRestOfArgsV1($tmplateNumOfParms); }; }; }; }
  682.             else  { die "wrong OP"; }; }; }; };
  683.  
  684.       $/.make($rewriteWFE);
  685.  
  686.       # as initialized below at call of method OP:
  687.       #  @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr]= 0;
  688.       if  $sr > 2  {
  689.         $temp2= @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr - 1];
  690.         @listOfWFErewritesForGivenARGLISTruleRun[$sr - 1][$temp2]= $rewriteWFE;
  691.         if  $runNum == 0  {  @listOfWFEbraceTypesForGivenARGLISTruleRun[$sr - 1][$temp2]= @curWFEbrace[$sr - 1];  }
  692.         else  {
  693.           if  $englobingNoRWdegree > 0  {  $wrongArgTypes= 1;  };
  694.           if  $stopreduction == 1  {  $wrongArgTypes= 1;  };
  695.           if  ($stopreduction == 1) and ($saySuccess == 1)  {  $wrongArgTypes= 0;  };
  696.           if  $wrongArgTypes == 1  {  @listOfWFEbraceTypesForGivenARGLISTruleRun[$sr - 1][$temp2]= @curWFEbrace[$sr - 1];  }
  697.           else  {  @listOfWFEbraceTypesForGivenARGLISTruleRun[$sr - 1][$temp2]= '[';  };
  698.         };
  699.         @listOfOPvarietyForGivenARGLISTruleRun[$sr - 1][$temp2]= @curWFEopVariety[$sr + 1];
  700.         if  $addMultSuccess == 1  {  @listOfOPvarietyForGivenARGLISTruleRun[$sr - 1][$temp2]= 'NUM';  };
  701.         @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr - 1]= $temp2 + 1;
  702.         if  $runNum == 0  {
  703.           @BISlistOfWFEbraceTypesForGivenARGLISTruleRun[$sr + 1][$BIStemp2]= $curBrace;
  704.           @BISlistOfWFErewritesForGivenARGLISTruleRun[$sr + 1][$BIStemp2]= $rewriteWFE;
  705.         };
  706.         @curbraceIdx[$sr-1]= @curbraceIdx[$sr-1] + 1;
  707.         if  $curBrace === '['  {
  708.           $englobingNoRWdegree--;
  709.           if  $englobingNoRWdegree == 1  {
  710.             $BIStemp2= @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr + 1];
  711.             $BIStemp22= @BISelemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr + 1];
  712.             if  $sr > 2  {
  713.               if  @isBaseBISlistOfWFEbraceTypesForGivenARGLISTruleRun[$sr + 1][$BIStemp2] == 1  {
  714.                 $englobingNoRWdegree= 0; }; }; }; }; };
  715.  
  716.       if  $noSkips == 1  {
  717.  
  718.         if  (($sr == 1) and ($debug2 == 1) and ($debug4 == 1))  {}
  719.         else  {
  720.  
  721.           if  $runNum > 0  {
  722.             $entryWFE2= $entryWFE;
  723.             $entryWFE4= $/.made;
  724.  
  725.             if  $entryWFE !=== $/.made  {  
  726.               say "  " if  $debug;
  727.               if  $stopreduction == 0  {
  728.                 say "\n.{'m' x$sr}.LEVEL$sr  \(type @OPvariety[$sr] w $rewriteArgListElems args\)  RW SUCCESS:" if  $debug4; }
  729.               else  {
  730.                 say "\n.{'m' x$sr}.LEVEL$sr  \(type @OPvariety[$sr] w $rewriteArgListElems args\)  EXPANDING RW - NEED NEW DESCEND NOW:" if  $debug4;
  731.                 $needNewDescend= 1; 
  732.               };
  733.  
  734.               say "        {'|' x$sr}  {trimBrackets($<OP>.Str)}" if  $debug4;
  735.               $curIdx= 0;
  736.               while  $curIdx < $rewriteArgListElems  {
  737.                 $entryWFE2= '[' ~ "{@WFEcompArgList[$curIdx]}" ~ ']';
  738.                 say "        {'|' x$sr}  {trimBrackets($entryWFE2)}" if  $debug4;
  739.                 $curIdx++;
  740.               };
  741.  
  742.               if  $stopreduction == 0  {  
  743.                 say "        {'|' x$sr}  " if  $debug4;
  744.                 say "        {'|' x$sr}  ====>   {trimBrackets($entryWFE4)}" if  $debug4;
  745.               }
  746.               else  {
  747.                 say "        {'|' x$sr}  " if  $debug4;
  748.                 say "        {'|' x$sr}  =============>" if  $debug4;
  749.                 say "        {'|' x$sr}  {trimBrackets($stopredOP)}" if  $debug4;
  750.                 if  $stopredWhileMin < $stopredWhileMax  {say "        {'|' x$sr}  " if  $debug4;};
  751.                 $curIdx= $stopredWhileMin;
  752.                 while  $curIdx < $stopredWhileMax  {
  753.                   $entryWFE2= '[' ~ "{@stopredWFEcompArgList[$curIdx]}" ~ ']';
  754.                   say "        {'|' x$sr}  {trimBrackets($entryWFE2)}" if  $debug4;
  755.                   $curIdx= $curIdx + 1;
  756.                 };
  757.  
  758.               };
  759.               say "  " if  (($debug2 == 1) or ($debug4 == 1)) and (($debug2 == 0) or ($debug4 == 1));
  760.               say "  " if  $debug;
  761.             }
  762.             else  {
  763.               $input= $entryWFE;
  764.               $tp1= '';
  765.               @tempStmt[0]= ''; @tempStmt[1]= '';
  766.               $tp1= $input.subst( :g , /^(['$'])(\w+)/ ,
  767.                     -> $/ { @tempStmt[0]= $0; @tempStmt[1]= $1 } );
  768.               if  $stopreduction == 0  {
  769.                 say "  " if  $debug;
  770.                 if  $rewriteArgListElems == 0  {
  771.                   say "\n.{'m' x$sr}.LEVEL$sr  \(type @OPvariety[$sr] w $rewriteArgListElems args\)  NOT REWRITABLE:  {trimBrackets($entryWFE2)}" if  $debug4;
  772.                 }
  773.                 else  {
  774.                   say "\n.{'m' x$sr}.LEVEL$sr  \(type @OPvariety[$sr] w $rewriteArgListElems args\)  NOT REWRITABLE:" if  $debug4;
  775.                   say "        {'|' x$sr}  {trimBrackets($<OP>.Str)}" if  $debug4;
  776.                   $curIdx= 0;
  777.                   while  $curIdx < $rewriteArgListElems  {
  778.                     $entryWFE2= '[' ~ "{@WFEcompArgList[$curIdx]}" ~ ']';
  779.                     say "        {'|' x$sr}  {trimBrackets($entryWFE2)}" if  $debug4;
  780.                     $curIdx++; }; };
  781.                 say "  " if  $debug4; }; }; }; }; }; $srw--; };
  782.  
  783.  
  784.    method OP5($/) {
  785.       $/.make($/.Str);
  786.       @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr]= 0;
  787.       @curWFEbrace[$sr]= ''; @OPstr[$sr - 1]= $/.made; @OPvariety[$sr - 1]= 'OP5'; @curWFEopVariety[$sr]= 'OP5'; };
  788.    method NUM($/) {
  789.       $/.make($/.Str);
  790.       @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr]= 0;
  791.       @curWFEbrace[$sr]= ''; @OPstr[$sr - 1]= $/.made; @OPvariety[$sr - 1]= 'NUM'; @curWFEopVariety[$sr]= 'NUM'; };
  792.    method PROC($/) {
  793.       $/.make($/.Str);
  794.       @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr]= 0;
  795.       @curWFEbrace[$sr]= ''; @OPstr[$sr - 1]= $/.made; @OPvariety[$sr - 1]= 'PROC'; @curWFEopVariety[$sr]= 'PROC';
  796.       @entryTempoeName[$sr - 1]= $/.Str; };
  797.    method OP6($/) {
  798.       $/.make($/.Str);
  799.       @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr]= 0;
  800.       @curWFEbrace[$sr]= ''; @OPstr[$sr - 1]= $/.made; @OPvariety[$sr - 1]= 'OP6'; @curWFEopVariety[$sr]= 'OP6'; };
  801.    method OP3($/) {
  802.       $/.make($/.Str);
  803.       @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr]= 0;
  804.       @curWFEbrace[$sr]= ''; @OPstr[$sr - 1]= $/.made; @OPvariety[$sr - 1]= 'OP3'; @curWFEopVariety[$sr]= 'OP3'; };
  805.    method OP2($/) {
  806.       $/.make($/.Str);
  807.       @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr]= 0;
  808.       @curWFEbrace[$sr]= ''; @OPstr[$sr - 1]= $/.made; @OPvariety[$sr - 1]= 'OP2'; @curWFEopVariety[$sr]= 'OP2'; };
  809.    method OP($/) {
  810.       $/.make($/.Str);
  811.       @elemsTotalOfListOfWFErewritesForGivenARGLISTruleRun[$sr]= 0;
  812.       @curWFEbrace[$sr]= ''; };
  813.  
  814.    method ARGLIST($/) {
  815.       $rewriteArgListElems= $<ARG>.list.elems;
  816.  
  817.       if  $sr == 2  {
  818.         $savedsr2rewriteArgListElems= $rewriteArgListElems;
  819.       };
  820.  
  821.       if  $rewriteArgListElems == 0  {}
  822.       else  {
  823.         @rewriteArgList[$sr]= '';
  824.         if  $rewriteArgListElems == 0  {}  else  {
  825.           $curIdx= 0;
  826.           for  $<ARG>.list -> $curItem  {
  827.             @WFEcompArgList[$curIdx]= @listOfWFErewritesForGivenARGLISTruleRun[$sr][$curIdx];
  828.             @currentARGLISTlistOfBraceTypesOfComponentWFEs[$curIdx]=
  829.                                     @listOfWFEbraceTypesForGivenARGLISTruleRun[$sr][$curIdx];
  830.             @currentARGLISTlistOflistOfOPvarietyOfComponentWFEs[$curIdx]=
  831.                                     @listOfOPvarietyForGivenARGLISTruleRun[$sr - 1][$curIdx];
  832.             if  $sr == 2  {
  833.               @savedsr2WFEcompArgList[$curIdx]= @WFEcompArgList[$curIdx];
  834.             };
  835.  
  836.             $curIdx++;
  837.           };
  838.           $curIdx= 0;
  839.           for  $<ARG>.list -> $curItem  {
  840.             if  $curIdx > 0  {
  841.               if  @currentARGLISTlistOfBraceTypesOfComponentWFEs[$rewriteArgListElems - $curIdx] ~~ '['
  842.               { @currentARGLISTlistOfBraceTypesOfComponentWFEs[$rewriteArgListElems - $curIdx]= '['; }
  843.               else  { @currentARGLISTlistOfBraceTypesOfComponentWFEs[$rewriteArgListElems - $curIdx]= '('; };
  844.             };
  845.             $curIdx++;
  846.           };
  847.           $curIdx= 0;
  848.           for  $<ARG>.list -> $curItem  {
  849.             @BraceTypeOfComponentWFEatGivenIndexInWFElistOfARGLISTatGivenSrLevel[$sr][$curIdx]=
  850.                   @currentARGLISTlistOfBraceTypesOfComponentWFEs[$curIdx];
  851.             $curIdx++;
  852.           };
  853.           $curIdx= 0;
  854.           for  $<ARG>.list -> $curItem  {
  855.             if  @currentARGLISTlistOfBraceTypesOfComponentWFEs[$curIdx] ~~ '['
  856.             {
  857.               $tempLeftBrace= '['; $tempRightBrace= ']';
  858.               @tempLeftBrace[$curIdx]= '['; @tempRightBrace[$curIdx]= ']';
  859.             }
  860.             else  {
  861.               $tempLeftBrace= '('; $tempRightBrace= ')';
  862.               @tempLeftBrace[$curIdx]= '('; @tempRightBrace[$curIdx]= ')';
  863.             };
  864.             @rewriteArgList[$sr]= @rewriteArgList[$sr] ~ $tempLeftBrace ~ @WFEcompArgList[$curIdx] ~ $tempRightBrace;
  865.  
  866.             if  $sr == 2  {
  867.               @savedsr2tempLeftBrace[$curIdx]= @tempLeftBrace[$curIdx];
  868.               @savedsr2tempRightBrace[$curIdx]= @tempRightBrace[$curIdx];
  869.             };
  870.  
  871.             $curIdx++;
  872.           };
  873.         };
  874.  
  875.         if  ($runNum > 0) and  ($setup == 0) and  (@OPstr[$sr - 1] ~~ 'subItem') and  ($rewriteArgListElems == 2)  {
  876.           %*AssocListArg0{"{'subItem' ~ @rewriteArgList[$sr] ~ 'Arg0'}"}= @WFEcompArgList[0];
  877.           %*AssocListArg1{"{'subItem' ~ @rewriteArgList[$sr] ~ 'Arg1'}"}= @WFEcompArgList[1];
  878.         };
  879.  
  880.         if  ($runNum > 0) and  ($setup == 0) and  (@OPstr[$sr - 1] ~~ 'subVar') and  ($rewriteArgListElems == 2)  {
  881.           %*AssocListArg0{"{'subVar' ~ @rewriteArgList[$sr] ~ 'Arg0'}"}= @WFEcompArgList[0];
  882.           %*AssocListArg1{"{'subVar' ~ @rewriteArgList[$sr] ~ 'Arg1'}"}= @WFEcompArgList[1];
  883.         };
  884.  
  885.         if  ($runNum > 0) and  ($setup == 0) and  (@OPstr[$sr - 1] ~~ 'proc') and  ($rewriteArgListElems == 3)  {
  886.           $input= @WFEcompArgList[0];
  887.           @tempStmt[0]= 'errorNOTtemplate';
  888.           $input= $input.subst( :g , /^(\w+)/ , -> $/ { @tempStmt[0]= $0; } );
  889.           if  @tempStmt[0] === 'errorNOTtemplate'  {die "errorNOTtemplate";}
  890.           else  {
  891.             $input= @WFEcompArgList[1];
  892.             @tempStmt[1]= 'errorNOTaNUM';
  893.             ##  $input= $input.subst( :g , /^'@@2[' (\d+) ']' '[' (\s*  ['.'|'vector'|'@'|'('|'='|','|'['|')'|']'|\d|\w|\n|\s]+  \s*  |  '<:::' \s*  ['.'|'@@'|'@'|'('|'='|','|'['|')'|']'|'~'|\d|\w|\n|\s]+  \s*  ':::>') ']'/ , -> $/ { @tempStmt[2]= $0; @tempStmt[3]= $1; } );
  894.             $input= $input.subst( :g , /^(\d+)/ , -> $/ { @tempStmt[1]= $0; } );
  895.             if  @tempStmt[1] === 'errorNOTaNUM'  {die "errorNOTaNUM";}
  896.             else  {
  897.               $input= @WFEcompArgList[2];
  898.               @tempStmt[2]= 'errorNOTaTEMPLATE';
  899.               $input= $input.subst( :g , /^('<:::' \s*  ['.'|'updateArgsTotaling'|'assocList'|'@@'|'@'|'('|'='|','|'['|')'|']'|'~'|\d|\w|\n|\s]+  \s*  ':::>')/ , -> $/ { @tempStmt[2]= $0; } );
  900.               if  @tempStmt[2] === 'errorNOTaTEMPLATE'  {die "errorNOTaTEMPLATE";}
  901.               else  {
  902.                 if  %*PROCS{"{@WFEcompArgList[0]}"} === Any  {
  903.                   %*AssocListArg0{"{'proc' ~ @rewriteArgList[$sr] ~ 'Arg0'}"}= @WFEcompArgList[0];
  904.                   %*PROCSparmNum{"{@WFEcompArgList[0]}"}= @WFEcompArgList[1];
  905.                   %*PROCS{"{@WFEcompArgList[0]}"}= @WFEcompArgList[2];
  906.                 }
  907.                 elsif  %*PROCS{"{@WFEcompArgList[0]}"} === @WFEcompArgList[2]  {}
  908.                 else  {die "errorIsNAMEalreadyUsedForDifferentTemplate";};
  909.               };
  910.             };
  911.           };
  912.         };
  913.  
  914.         if  ($runNum > 0) and  ($setup == 0) and  (@OPstr[$sr - 1] ~~ 'term') and  ($rewriteArgListElems == 2)  {
  915.           $input= @WFEcompArgList[0];
  916.           @tempStmt[0]= 'errorNOTmapping';
  917.           $input= $input.subst( :g , /^(\w+)/ , -> $/ { @tempStmt[0]= $0; } );
  918. #          $input= $input.subst( :g , /^('^^'\d+)/ , -> $/ { @tempStmt[0]= $0; } );
  919.           if  @tempStmt[0] === 'errorNOTmapping'  {die "errorNOTmapping";}
  920.           else  {
  921.             if  %*TERMS{"{@WFEcompArgList[0]}"} === Any  {
  922.               # %*AssocListArg0{"{'term' ~ @rewriteArgList[$sr] ~ 'Arg0'}"}= @WFEcompArgList[0];
  923.               # %*AssocListArg1{"{'term' ~ @rewriteArgList[$sr] ~ 'Arg1'}"}= @WFEcompArgList[1];
  924.               %*TERMS{"{@WFEcompArgList[0]}"}= @WFEcompArgList[1];
  925.             }
  926.             elsif  %*TERMS{"{@WFEcompArgList[0]}"} === @WFEcompArgList[1]  {}
  927.             else  {die "errorIsNAMEalreadyUsedForDifferentTERMSmapping";};
  928.           };
  929.         };
  930.  
  931.         $/.make(@rewriteArgList[$sr]);
  932.         @curWFEbrace[$sr]= '';
  933.      };
  934.    };
  935.  
  936. };
  937.  
  938. if  $debug  {}
  939. else  {
  940.  
  941.   $debug= 0;
  942.   $debug2= 0;
  943.   $debug4= 0;
  944.  
  945.   $lastRunNum= -1;
  946.   $runNum= 0;
  947.  
  948.   $continue= 1;
  949.   while  $continue > 0  {
  950.     $rwcode= $lastRwcode;
  951.     $match2= Rewrite4.parse( $rwcode, actions => RewriteAction4.new, );
  952.     $lastRwcode= $match2.made;
  953.     $lastRunNum= $runNum; $runNum++; $continue++;
  954.     if $lastRwcode ~~ $rwcode  { if  $runNum > 1  { $continue= 0; }; };  
  955.   };
  956.  
  957.   $debug= 0;
  958.   $debug2= 1;
  959.   $debug4= 1;
  960.  
  961.   $lastRwcode= normalizeOrigCodes($origRwcode);
  962.  
  963.   $continue= 1;
  964.   $setup= 0;
  965.  
  966.   $lastRunNum= -1;
  967.   $runNum= 0;
  968.   say "\n\n\n\nCODES EXECUTION:" if  $debug4;
  969.   say "\n\n\n\nHIGH LEVEL DESCEND-BY-DESCEND VIEW OF RW PROGRESS:" if  $debug2;
  970.   say "\(RECURSIVE LEFTMOST-INNERMOST APPLICATIVE REWRITE, TILL CODES NOT REWRITABLE\)\n\n" if  $debug4;
  971.  
  972.   say "\n\n\nRW PROCESS STARTING:" if  (($debug2 == 1) and (not($debug4 == 1)));
  973.   ##  say "  {trimBrackets($lastRwcode)}" if  ($debug4 == 1);
  974.  
  975.   while  $continue > 0  {
  976.     $rwcode= $lastRwcode;
  977.     $match2= Rewrite4.parse( $rwcode, actions => RewriteAction4.new, );
  978.     $lastRwcode= $match2.made;
  979.  
  980.     if  $runNum == 0  {}  elsif  $rewriteArgListElems > 0  {
  981.       say " " if  (($debug2 == 1) and ($debug4 == 1));
  982.       say ".m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #$runNum:" if  $debug2;
  983.       say '        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""' if  $debug2;
  984.       if  $runNum < 1  {}  
  985.       else  {
  986.         if  $runNum == 1  { say "        |  OP:     {trimBrackets(@OPstr[1])} " if  $debug2;}
  987.         else  {
  988.           if  @OPstr[1] ~~ $OPsav  { say "        |  OP:     <--------SAME AS IN ABOVE DESCEND:  {trimBrackets($OPsav)}" if  $debug2; }  
  989.           else  { say "        |  OP:     {trimBrackets(@OPstr[1])}" if  $debug2; };
  990.         };
  991.         $OPsav2= $OPsav; $OPsav= @OPstr[1]; };
  992.  
  993.       if  $runNum < 1  {}  
  994.       else  {
  995.         $input= @OPstr[1];
  996.         @tempStmt[0]= 'mmm';
  997.         ##  $tp1= $input.subst( :g , /^('goTo')\d+$/ ,
  998.         $tp1= $input.subst( :g , /^(['jumpTo'|'CallSession'])$/ ,
  999.                    -> $/ { @tempStmt[0]=  $0;  } );
  1000.         ##  if  @tempStmt[0] ~~ 'goTo'  {
  1001. say "mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 {@OPstr[1]}    tempStmt0 {@tempStmt[0]}"; 
  1002.         if  (@tempStmt[0] ~~ 'jumpTo') or (@tempStmt[0] ~~ 'CallSession')  {
  1003.           ##  $curIdx2= 0; while  $curIdx2 < $temp6  {
  1004.           $curIdx2= 0; while  $curIdx2 < 4  {
  1005.             @WFEcompArgListTemp2[$curIdx2]= @WFEcompArgList[$curIdx2];
  1006.             $curIdx2= $curIdx2 + 1; };
  1007.           ##  $curIdx2= 0; while  $curIdx2 < $temp6  {
  1008.           $curIdx2= 0; while  $curIdx2 < 4  {
  1009.             $input= @WFEcompArgListTemp2[$curIdx2];
  1010.             @tempStmt[0]= 'com'; @tempStmt[1]= 'rew';@tempStmt[2]= 'com2'; @tempStmt[3]= 'rew2';
  1011.             $tp1= $input.subst( :g  ,
  1012.   / ^(''\d+) ('__') (<[A..Z]>[<[A..Z0..9]> | '_' ]*)  ['('|'['] (.+) [')'|']']$/ ,
  1013.      -> $/ { @tempStmt[0]=  $0; @tempStmt[1]=  $1; @tempStmt[2]=  $2; @tempStmt[3]=  $3; } );
  1014.             if  (@tempStmt[1] ~~ '__')  { 
  1015.               @WFEcompArgListTemp2[$curIdx2]= @tempStmt[3]; 
  1016.             };    
  1017.             $curIdx2= $curIdx2 + 1; };
  1018.  
  1019.           $tp2= '____';
  1020.           $input= @WFEcompArgList[0];
  1021.           ##  $tp1= $input.subst( :g  ,  / '[' ([<[a..zA..Z0..9]> | '_' ]+) ']'$/ ,
  1022.           $tp1= $input.subst( :g  ,  / '[' ('TelService') ']'$/ ,
  1023.                  -> $/ { $tp2=  $0; } );
  1024.           if  $tp2 ~~ '____'  {$tp2= @WFEcompArgList[0];};
  1025. say "mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 $tp2     temp6  $temp6"; 
  1026.  
  1027.           ##  $curIdx= 0; while  $curIdx < $temp6  {
  1028.           $curIdx= 0; while  $curIdx < 4  {
  1029.             ##  $input= $tp2 ~ '--' ~ "{$curIdx}";
  1030.             $input= 'TelService' ~ '--' ~ "{$curIdx}";
  1031.             if  %*GOTOARGNAMES{"{$input}"} === Any  {
  1032. say "mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx $curIdx "; 
  1033.               @WFEcompArgList[$curIdx]= @WFEcompArgListTemp2[$curIdx];
  1034.               @WFEcompArgListPreFx[$curIdx]= '____'; }
  1035.             else  {
  1036. say "mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx $curIdx    GOTOARGNAMES  {%*GOTOARGNAMES{"{$input}"}}"; 
  1037.               @WFEcompArgList[$curIdx]= %*GOTOARGNAMES{"{$input}"}
  1038.                  ~ '[' ~ @WFEcompArgListTemp2[$curIdx] ~ ']';
  1039.               @WFEcompArgListPreFx[$curIdx]= %*GOTOARGNAMES{"{$input}"}; };
  1040.             $curIdx++; };
  1041.           ##  $curIdx= $temp6; while  $curIdx < $rewriteArgListElems  {
  1042.           $curIdx= 4; while  $curIdx < $rewriteArgListElems  {
  1043.             @WFEcompArgListPreFx[$curIdx]= '____';
  1044.             $curIdx++; };
  1045.           if  $runNum > 1  { 
  1046.             if  $rewriteArgListElemsSav > $rewriteArgListElems  { $compareMax= $rewriteArgListElems; }
  1047.             else  { $compareMax= $rewriteArgListElemsSav; };
  1048.           };
  1049.           $curIdx= 0; while  $curIdx < $rewriteArgListElems  {
  1050.             $entryWFE2= "{@tempLeftBrace[$curIdx]} {@WFEcompArgList[$curIdx]} {@tempRightBrace[$curIdx]}";
  1051.             if  $runNum == 1  { say "        |  ARG$curIdx:   {trimBrackets($entryWFE2)}" if  $debug2; }
  1052.             else  {
  1053.               if   $curIdx < $compareMax  {
  1054.                 $entryWFE4= "{@tempLeftBraceSav[$curIdx]} {@WFEcompArgListSav[$curIdx]} {@tempRightBraceSav[$curIdx]}";
  1055.                 $entryWFE4PreFx= "{@WFEcompArgListSavPreFx[$curIdx]}";
  1056.                 if  $entryWFE2 ~~ $entryWFE4  {
  1057.                   if  $entryWFE4PreFx ~~ '____'  {
  1058.                     say "        |  ARG$curIdx:   .........NO UPDATES. " if  $debug2;
  1059.                   }  else  {
  1060.                     say "        |  ARG$curIdx:   .........NO UPDATES:  $entryWFE4PreFx" if  $debug2;
  1061.                   };
  1062.                 }  else  {
  1063.                   say "        |  ARG$curIdx:   {trimBrackets($entryWFE2)}" if  $debug2;
  1064.                   $input= $OPsav2;
  1065.         $input= @OPstr[1];
  1066.                   @tempStmt[0]= 'com';
  1067.                   $tp1= $input.subst( :g , /^('goTo')\d+$/ ,
  1068.                              -> $/ { @tempStmt[0]=  $0;  } );
  1069.                   if  @tempStmt[0] ~~ 'goTo'  {
  1070.                     ##  say "        |          " if  $debug2;
  1071.                     say "        |          {'mmmmmmmmmmmmmmmmmmm'}  UPDATED !  {'mmmmmmmmmmmmmmm'}  WAS:" if  $debug2;
  1072.                     say "        |          {trimBrackets($entryWFE4)}" if  $debug2;
  1073.                     say "        |          " if  $debug2;
  1074.                   };
  1075.                 };
  1076.               } else  { say "        |  ARG$curIdx:   {trimBrackets($entryWFE2)}" if  $debug2; };
  1077.             };
  1078.             $curIdx= 1 + $curIdx; };
  1079.           $curIdx2= 0; while  $curIdx2 < $rewriteArgListElems  {
  1080.             @tempLeftBraceSav[$curIdx2]= @tempLeftBrace[$curIdx2];
  1081.             @tempRightBraceSav[$curIdx2]= @tempRightBrace[$curIdx2];
  1082.             @WFEcompArgListSav[$curIdx2]= @WFEcompArgList[$curIdx2];
  1083.             @WFEcompArgListSavPreFx[$curIdx2]= @WFEcompArgListPreFx[$curIdx2];
  1084.             $curIdx2= 1 + $curIdx2; };
  1085.           $rewriteArgListElemsSav= $rewriteArgListElems;
  1086.         }
  1087.         else  {
  1088.           if  $runNum > 1  { 
  1089.             if  $rewriteArgListElemsSav > $rewriteArgListElems  { $compareMax= $rewriteArgListElems; }
  1090.             else  { $compareMax= $rewriteArgListElemsSav; };
  1091.           };
  1092.           $curIdx= 0; while  $curIdx < $rewriteArgListElems  {
  1093.             $entryWFE2= "{@tempLeftBrace[$curIdx]} {@WFEcompArgList[$curIdx]} {@tempRightBrace[$curIdx]}";
  1094.             if  $runNum == 1  { say "        |  ARG$curIdx:   {trimBrackets($entryWFE2)}" if  $debug2; }
  1095.             else  {
  1096.               if   $curIdx < $compareMax  {
  1097.                 $entryWFE4= "{@tempLeftBraceSav[$curIdx]} {@WFEcompArgListSav[$curIdx]} {@tempRightBraceSav[$curIdx]}";
  1098.                 if  $entryWFE2 ~~ $entryWFE4  {
  1099.                   say "        |  ARG$curIdx:   <--------SAME AS IN ABOVE DESCEND. " if  $debug2;
  1100.                 }  else  {
  1101.                   say "        |  ARG$curIdx:   {trimBrackets($entryWFE2)}" if  $debug2;
  1102.                 };
  1103.               } else  { say "        |  ARG$curIdx:   {trimBrackets($entryWFE2)}" if  $debug2; };
  1104.             };
  1105.             $curIdx= 1 + $curIdx; };
  1106.           $curIdx2= 0; while  $curIdx2 < $rewriteArgListElems  {
  1107.             @tempLeftBraceSav[$curIdx2]= @tempLeftBrace[$curIdx2];
  1108.             @tempRightBraceSav[$curIdx2]= @tempRightBrace[$curIdx2];
  1109.             @WFEcompArgListSav[$curIdx2]= @WFEcompArgList[$curIdx2];
  1110.             @WFEcompArgListSavPreFx[$curIdx2]= @WFEcompArgListPreFx[$curIdx2];
  1111.             $curIdx2= 1 + $curIdx2; };
  1112.           $rewriteArgListElemsSav= $rewriteArgListElems;
  1113.         };
  1114.       };
  1115.       say "  " if  $debug4;
  1116.     };
  1117.     $lastRunNum= $runNum; $runNum++; $continue++;
  1118.     if $lastRwcode ~~ $rwcode  { if  $runNum > 1  { $continue= 0; }; };
  1119.   };
  1120.  
  1121. say "\n\n";
  1122. say 'CODES NOW NOT REWRITABLE !';
  1123. say "END OF CODES EXECUTION";
  1124. };
  1125.  
  1126.  
Success #stdin #stdout 10.63s 198644KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 



Original Codes:  
---------------


jumpTo 
<:0:TelService>
[1__CODES
(@@8  
    ( proc :TelService  :0 {::: @@3 :CallSession:Stmt1:Stmt2 :::} )
    ( proc :CallSession :4
    : {:::
    :    : jumpTo 
    :    : ( stepThru1 ( cTerm2 :~2 :~3 [PerEvntActnList] ) <:0:TelService> ) 
    :    : [ ~1 ]
    :    : ( cTerm2 :~2 :~3 [NxtStateMap] )
    : :::}
    )
    ( term [cTerm2 :onhook [dialDigit:4] [PerEvntActnList]] [say(concat:hello[,][ ]:World)] )
    ( term [cTerm2 :offhook :dialDigit6 [PerEvntActnList]] [say(concat:lets[ ]:talk)] )
    ( term [cTerm2 :talking [dialDigit:8] [PerEvntActnList]] [say(concat:seeya[,][ ]:bye)] )
    ( term [cTerm2 :onhook [dialDigit:4] [NxtStateMap]] :offhook )
    ( term [cTerm2 :offhook :dialDigit6 [NxtStateMap]] :talking )
    ( term [cTerm2 :talking [dialDigit:8] [NxtStateMap]] :disconnect )
) ]
[2__CURSTATE :onhook ]
[3__EVENT [dialDigit:4] ]
 
:dialDigit6
[dialDigit:8]
  



Normalized Codes:  
-----------------

jumpTo[@@2[0][TelService]][1__CODES(@@8(proc[TelService][0][<:::@@3[CallSession][Stmt1][Stmt2]:::>])(proc[CallSession][4][<:::jumpTo(stepThru1(cTerm2[~2][~3][PerEvntActnList])[@@2[0][TelService]])[~1](cTerm2[~2][~3][NxtStateMap]):::>])(term[cTerm2[onhook][dialDigit[4]][PerEvntActnList]][say(concat[hello][,][%][World])])(term[cTerm2[offhook][dialDigit6][PerEvntActnList]][say(concat[lets][%][talk])])(term[cTerm2[talking][dialDigit[8]][PerEvntActnList]][say(concat[seeya][,][%][bye])])(term[cTerm2[onhook][dialDigit[4]][NxtStateMap]][offhook])(term[cTerm2[offhook][dialDigit6][NxtStateMap]][talking])(term[cTerm2[talking][dialDigit[8]][NxtStateMap]][disconnect]))][2__CURSTATE[onhook]][3__EVENT[dialDigit[4]]][dialDigit6][dialDigit[8]]  






CODES EXECUTION:




HIGH LEVEL DESCEND-BY-DESCEND VIEW OF RW PROGRESS:
(RECURSIVE LEFTMOST-INNERMOST APPLICATIVE REWRITE, TILL CODES NOT REWRITABLE)





"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
( STARTING TREE DESCNND #1: )

zzzzzzzzzzzz0    sr 1    OPvariety OP2    Elems 6
zzzzzzzzzzzz1   tp0 ___   tp1 jumpTo    WFEcompArgList0 @@2[0][TelService]  
zzzzzzzzzzzz4   tp0 ___   tp1 jumpTo    WFEcompArgList0 @@2[0][TelService]  
zzzzzzzzzzzz5    curIdx2 0    tp0 ___    input @@2[0][TelService] 
zzzzzzzzzzzz5    curIdx2 1    tp0 ___    input 1__CODES(@@8(proc[TelService][0][<:::@@3[CallSession][Stmt1][Stmt2]:::>])(proc[CallSession][4][<:::jumpTo(stepThru1(cTerm2[~2][~3][PerEvntActnList])[@@2[0][TelService]])[~1](cTerm2[~2][~3][NxtStateMap]):::>])(term[cTerm2[onhook][dialDigit[4]][PerEvntActnList]][say(concat[hello][,][%][World])])(term[cTerm2[offhook][dialDigit6][PerEvntActnList]][say(concat[lets][%][talk])])(term[cTerm2[talking][dialDigit[8]][PerEvntActnList]][say(concat[seeya][,][%][bye])])(term[cTerm2[onhook][dialDigit[4]][NxtStateMap]][offhook])(term[cTerm2[offhook][dialDigit6][NxtStateMap]][talking])(term[cTerm2[talking][dialDigit[8]][NxtStateMap]][disconnect])) 
zzzzzzzzzzzz5    curIdx2 2    tp0 ___    input 2__CURSTATE[onhook] 
zzzzzzzzzzzz5    curIdx2 3    tp0 ___    input 3__EVENT[dialDigit[4]] 
zzzzzzzzzzzz5    curIdx2 4    tp0 ___    input dialDigit6 
zzzzzzzzzzzz5    curIdx2 5    tp0 ___    input dialDigit[8] 
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #1:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     jumpTo 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3 
        |  ARG0:   [ @@2 :0 :TelService ]
        |  ARG1:   [ @@8 (proc :TelService :0 {:::  @@3 :CallSession :Stmt1 :Stmt2  :::})(proc :CallSession :4 {:::  jumpTo(stepThru1 (cTerm2 :~2 :~3 :PerEvntActnList)<:0:TelService>) :~1(cTerm2 :~2 :~3 :NxtStateMap)  :::})(term [cTerm2 :onhook[dialDigit :4] :PerEvntActnList][say(concat :hello[,][ ] :World)])(term [cTerm2 :offhook :dialDigit6 :PerEvntActnList][say(concat :lets[ ] :talk)])(term [cTerm2 :talking[dialDigit :8] :PerEvntActnList][say(concat :seeya[,][ ] :bye)])(term [cTerm2 :onhook[dialDigit :4] :NxtStateMap] :offhook)(term [cTerm2 :offhook :dialDigit6 :NxtStateMap] :talking)(term [cTerm2 :talking[dialDigit :8] :NxtStateMap] :disconnect) ]
        |  ARG2:   [ onhook ]
        |  ARG3:   [ dialDigit :4 ]
        |  ARG4:   [ dialDigit6 ]
        |  ARG5:   [ dialDigit :8 ]
  




==========================================================================>
( TREE DESCEND #2: )


.mmmmmmm.LEVEL7  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||||  @@2
        |||||||  :0
        |||||||  :TelService
        |||||||  :x0
        |||||||  
        |||||||  =============>
        |||||||  0
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #2:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@2 :0 :TelService :x1(concat :x(0))( @@2 :0 :TelService :x1) )
        |  ARG1:   [ 1__CODES ( @@8 (proc :TelService :0 {:::  @@3 :CallSession :Stmt1 :Stmt2  :::})(proc :CallSession :4 {:::  jumpTo(stepThru1 (cTerm2 :~2 :~3 :PerEvntActnList)<:0:TelService>) :~1(cTerm2 :~2 :~3 :NxtStateMap)  :::})(term [cTerm2 :onhook[dialDigit :4] :PerEvntActnList][say(concat :hello[,][ ] :World)])(term [cTerm2 :offhook :dialDigit6 :PerEvntActnList][say(concat :lets[ ] :talk)])(term [cTerm2 :talking[dialDigit :8] :PerEvntActnList][say(concat :seeya[,][ ] :bye)])(term [cTerm2 :onhook[dialDigit :4] :NxtStateMap] :offhook)(term [cTerm2 :offhook :dialDigit6 :NxtStateMap] :talking)(term [cTerm2 :talking[dialDigit :8] :NxtStateMap] :disconnect)) ]
        |  ARG2:   [ 2__CURSTATE :onhook ]
        |  ARG3:   [ 3__EVENT [dialDigit :4] ]
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG5:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #3: )


.mmmmmmm.LEVEL7  (type NUM w 0 args)  NOT REWRITABLE:  0
  

.mmmmm.LEVEL5  (type OP5 w 2 args)  RW SUCCESS:
        |||||  concat
        |||||  :x
        |||||  :0
        |||||  
        |||||  ====>   x0
  

.mmmmm.LEVEL5  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||  @@2
        |||||  :0
        |||||  :TelService
        |||||  :x1
        |||||  
        |||||  =============>
        |||||  TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #3:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@2 :0 :TelService :x1 :x0(TelService) )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG5:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #4: )


.mmmmm.LEVEL5  (type OP2 w 0 args)  NOT REWRITABLE:  TelService
  

.mmm.LEVEL3  (type OP5 w 5 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  @@2
        |||  :0
        |||  :TelService
        |||  :x1
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  TelService
        |||  
        |||  :x0
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #4:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( TelService :x0 :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG5:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #5: )

zzzzzzzzzzzz0    sr 3    OPvariety OP2    Elems 2
zzzzzzzzzzzz1   tp0 ___   tp1 TelService    WFEcompArgList0 x0  
zzzzzzzzzzzz4   tp0 ___   tp1 TelService    WFEcompArgList0 x0  
zzzzzzzzzzzz5    curIdx2 0    tp0 ___    input x0 
zzzzzzzzzzzz5    curIdx2 1    tp0 ___    input TelService 

.mmm.LEVEL3  (type OP2 w 2 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  TelService
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  @@3 :CallSession :Stmt1 :Stmt2
        |||  
        |||  :x0
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #5:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@3 :CallSession :Stmt1 :Stmt2 :x0 :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG5:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #6: )


.mmm.LEVEL3  (type OP5 w 5 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  @@3
        |||  :CallSession
        |||  :Stmt1
        |||  :Stmt2
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  CallSession
        |||  
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #6:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( CallSession :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG5:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #7: )


.mmm.LEVEL3  (type OP2 w 1 args)  NOT REWRITABLE:
        |||  CallSession
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #7:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   [ CallSession :TelService ]
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG5:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #8: )

zzzzzzzzzzzz0    sr 1    OPvariety OP2    Elems 6
zzzzzzzzzzzz1   tp0 ___   tp1 CallSession    WFEcompArgList0 TelService  
zzzzzzzzzzzz2   input <:::@@3[CallSession][Stmt1][Stmt2]:::>    
zzzzzzzzzzzz3   tempStmt0 @@    
zzzzzzzzzzzz4   tp0 TelService   tp1 CallSession    WFEcompArgList0 TelService  
zzzzzzzzzzzz5    curIdx2 0    tp0 TelService    input TelService 
zzzzzzzzzzzz5    curIdx2 1    tp0 TelService    input 1__CODES(@@8(proc[TelService][0][<:::@@3[CallSession][Stmt1][Stmt2]:::>])(proc[CallSession][4][<:::jumpTo(stepThru1(cTerm2[~2][~3][PerEvntActnList])[@@2[0][TelService]])[~1](cTerm2[~2][~3][NxtStateMap]):::>])(term[cTerm2[onhook][dialDigit[4]][PerEvntActnList]][say(concat[hello][,][%][World])])(term[cTerm2[offhook][dialDigit6][PerEvntActnList]][say(concat[lets][%][talk])])(term[cTerm2[talking][dialDigit[8]][PerEvntActnList]][say(concat[seeya][,][%][bye])])(term[cTerm2[onhook][dialDigit[4]][NxtStateMap]][offhook])(term[cTerm2[offhook][dialDigit6][NxtStateMap]][talking])(term[cTerm2[talking][dialDigit[8]][NxtStateMap]][disconnect])) 
zzzzzzzzzzzz6    curIdx2 1    tp0 TelService    GOTOARGNAMES 1__CODES    
zzzzzzzzzzzz5    curIdx2 2    tp0 TelService    input 2__CURSTATE[onhook] 
zzzzzzzzzzzz6    curIdx2 2    tp0 TelService    GOTOARGNAMES 2__CURSTATE    
zzzzzzzzzzzz5    curIdx2 3    tp0 TelService    input 3__EVENT[dialDigit[4]] 
zzzzzzzzzzzz6    curIdx2 3    tp0 TelService    GOTOARGNAMES 3__EVENT    
zzzzzzzzzzzz5    curIdx2 4    tp0 TelService    input dialDigit6 
zzzzzzzzzzzz5    curIdx2 5    tp0 TelService    input dialDigit[8] 
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #8:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     CallSession
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 CallSession    tempStmt0 CallSession
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   [ TelService ]
        |  ARG1:   [ 1__CODES [ @@8 (proc :TelService :0 {:::  @@3 :CallSession :Stmt1 :Stmt2  :::})(proc :CallSession :4 {:::  jumpTo(stepThru1 (cTerm2 :~2 :~3 :PerEvntActnList)<:0:TelService>) :~1(cTerm2 :~2 :~3 :NxtStateMap)  :::})(term [cTerm2 :onhook[dialDigit :4] :PerEvntActnList][say(concat :hello[,][ ] :World)])(term [cTerm2 :offhook :dialDigit6 :PerEvntActnList][say(concat :lets[ ] :talk)])(term [cTerm2 :talking[dialDigit :8] :PerEvntActnList][say(concat :seeya[,][ ] :bye)])(term [cTerm2 :onhook[dialDigit :4] :NxtStateMap] :offhook)(term [cTerm2 :offhook :dialDigit6 :NxtStateMap] :talking)(term [cTerm2 :talking[dialDigit :8] :NxtStateMap] :disconnect)] ]
        |  ARG2:   .........NO UPDATES. 
        |  ARG3:   .........NO UPDATES. 
        |  ARG4:   .........NO UPDATES. 
        |  ARG5:   .........NO UPDATES. 
  




==========================================================================>
( TREE DESCEND #9: )


.mmmmm.LEVEL5  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||  cTerm2
        |||||  :onhook
        |||||  [dialDigit :4]
        |||||  :PerEvntActnList
        |||||  
        |||||  =============>
        |||||  say(concat :hello[,][ ] :World)
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #9:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 stepThru1(say(concat[hello][,][%][World]))[@@2[0][TelService]]     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   ( stepThru1 (say(concat :hello[,][ ] :World))<:0:TelService> )
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   ( 2__CURSTATE [cTerm2 :onhook[dialDigit :4] :NxtStateMap] )
        |  ARG3:   [ 3__EVENT :dialDigit6 ]
        |  ARG4:   [ dialDigit :8 ]
  




==========================================================================>
( TREE DESCEND #10: )


.mmmmmmm.LEVEL7  (type OP5 w 4 args)  RW SUCCESS:
        |||||||  concat
        |||||||  :hello
        |||||||  [,]
        |||||||  [ ]
        |||||||  :World
        |||||||  
        |||||||  ====>   hello, World
  
               ( ****** LEVEL5 ACTION #1:  say  )    hello, World

.mmmmm.LEVEL5  (type OP5 w 1 args)  RW SUCCESS:
        |||||  say
        |||||  [hello, World]
        |||||  
        |||||  ====>   nil
  

.mmm.LEVEL3  (type OP5 w 2 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  stepThru1
        |||  :nil
        |||  <:0:TelService>
        |||  
        |||  =============>
        |||  @@2 :0 :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #10:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   ( @@2 :0 :TelService )
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   .........NO UPDATES:  2__CURSTATE
        |  ARG3:   .........NO UPDATES:  3__EVENT
        |  ARG4:   .........NO UPDATES. 
  




==========================================================================>
( TREE DESCEND #11: )


.mmm.LEVEL3  (type OP5 w 2 args)  NOT REWRITABLE:
        |||  @@2
        |||  :0
        |||  :TelService
  

.mmm.LEVEL3  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  cTerm2
        |||  :onhook
        |||  [dialDigit :4]
        |||  :NxtStateMap
        |||  
        |||  =============>
        |||  offhook
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #11:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   [ @@2 :0 :TelService ]
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   ( 2__CURSTATE :offhook )
        |  ARG3:   .........NO UPDATES:  3__EVENT
        |  ARG4:   .........NO UPDATES. 
  




==========================================================================>
( TREE DESCEND #12: )


.mmm.LEVEL3  (type OP2 w 0 args)  NOT REWRITABLE:  offhook
  
zzzzzzzzzzzz0    sr 1    OPvariety OP2    Elems 5
zzzzzzzzzzzz1   tp0 ___   tp1 jumpTo    WFEcompArgList0 @@2[0][TelService]  
zzzzzzzzzzzz4   tp0 ___   tp1 jumpTo    WFEcompArgList0 @@2[0][TelService]  
zzzzzzzzzzzz5    curIdx2 0    tp0 ___    input @@2[0][TelService] 
zzzzzzzzzzzz5    curIdx2 1    tp0 ___    input @@8(proc[TelService][0][<:::@@3[CallSession][Stmt1][Stmt2]:::>])(proc[CallSession][4][<:::jumpTo(stepThru1(cTerm2[~2][~3][PerEvntActnList])[@@2[0][TelService]])[~1](cTerm2[~2][~3][NxtStateMap]):::>])(term[cTerm2[onhook][dialDigit[4]][PerEvntActnList]][say(concat[hello][,][%][World])])(term[cTerm2[offhook][dialDigit6][PerEvntActnList]][say(concat[lets][%][talk])])(term[cTerm2[talking][dialDigit[8]][PerEvntActnList]][say(concat[seeya][,][%][bye])])(term[cTerm2[onhook][dialDigit[4]][NxtStateMap]][offhook])(term[cTerm2[offhook][dialDigit6][NxtStateMap]][talking])(term[cTerm2[talking][dialDigit[8]][NxtStateMap]][disconnect]) 
zzzzzzzzzzzz5    curIdx2 2    tp0 ___    input offhook 
zzzzzzzzzzzz5    curIdx2 3    tp0 ___    input dialDigit6 
zzzzzzzzzzzz5    curIdx2 4    tp0 ___    input dialDigit[8] 
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #12:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   .........NO UPDATES. 
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   [ 2__CURSTATE :offhook ]
        |  ARG3:   .........NO UPDATES:  3__EVENT
        |  ARG4:   .........NO UPDATES. 
  




==========================================================================>
( TREE DESCEND #13: )


.mmmmmmm.LEVEL7  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||||  @@2
        |||||||  :0
        |||||||  :TelService
        |||||||  :x0
        |||||||  
        |||||||  =============>
        |||||||  0
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #13:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@2 :0 :TelService :x1(concat :x(0))( @@2 :0 :TelService :x1) )
        |  ARG1:   [ @@8 (proc :TelService :0 {:::  @@3 :CallSession :Stmt1 :Stmt2  :::})(proc :CallSession :4 {:::  jumpTo(stepThru1 (cTerm2 :~2 :~3 :PerEvntActnList)<:0:TelService>) :~1(cTerm2 :~2 :~3 :NxtStateMap)  :::})(term [cTerm2 :onhook[dialDigit :4] :PerEvntActnList][say(concat :hello[,][ ] :World)])(term [cTerm2 :offhook :dialDigit6 :PerEvntActnList][say(concat :lets[ ] :talk)])(term [cTerm2 :talking[dialDigit :8] :PerEvntActnList][say(concat :seeya[,][ ] :bye)])(term [cTerm2 :onhook[dialDigit :4] :NxtStateMap] :offhook)(term [cTerm2 :offhook :dialDigit6 :NxtStateMap] :talking)(term [cTerm2 :talking[dialDigit :8] :NxtStateMap] :disconnect) ]
        |  ARG2:   [ offhook ]
        |  ARG3:   [ dialDigit6 ]
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #14: )


.mmmmmmm.LEVEL7  (type NUM w 0 args)  NOT REWRITABLE:  0
  

.mmmmm.LEVEL5  (type OP5 w 2 args)  RW SUCCESS:
        |||||  concat
        |||||  :x
        |||||  :0
        |||||  
        |||||  ====>   x0
  

.mmmmm.LEVEL5  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||  @@2
        |||||  :0
        |||||  :TelService
        |||||  :x1
        |||||  
        |||||  =============>
        |||||  TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #14:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@2 :0 :TelService :x1 :x0(TelService) )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #15: )


.mmmmm.LEVEL5  (type OP2 w 0 args)  NOT REWRITABLE:  TelService
  

.mmm.LEVEL3  (type OP5 w 5 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  @@2
        |||  :0
        |||  :TelService
        |||  :x1
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  TelService
        |||  
        |||  :x0
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #15:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( TelService :x0 :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #16: )

zzzzzzzzzzzz0    sr 3    OPvariety OP2    Elems 2
zzzzzzzzzzzz1   tp0 ___   tp1 TelService    WFEcompArgList0 x0  
zzzzzzzzzzzz4   tp0 ___   tp1 TelService    WFEcompArgList0 x0  
zzzzzzzzzzzz5    curIdx2 0    tp0 ___    input x0 
zzzzzzzzzzzz5    curIdx2 1    tp0 ___    input TelService 

.mmm.LEVEL3  (type OP2 w 2 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  TelService
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  @@3 :CallSession :Stmt1 :Stmt2
        |||  
        |||  :x0
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #16:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@3 :CallSession :Stmt1 :Stmt2 :x0 :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #17: )


.mmm.LEVEL3  (type OP5 w 5 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  @@3
        |||  :CallSession
        |||  :Stmt1
        |||  :Stmt2
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  CallSession
        |||  
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #17:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( CallSession :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #18: )


.mmm.LEVEL3  (type OP2 w 1 args)  NOT REWRITABLE:
        |||  CallSession
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #18:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   [ CallSession :TelService ]
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG4:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #19: )

zzzzzzzzzzzz0    sr 1    OPvariety OP2    Elems 5
zzzzzzzzzzzz1   tp0 ___   tp1 CallSession    WFEcompArgList0 TelService  
zzzzzzzzzzzz2   input <:::@@3[CallSession][Stmt1][Stmt2]:::>    
zzzzzzzzzzzz3   tempStmt0 @@    
zzzzzzzzzzzz4   tp0 TelService   tp1 CallSession    WFEcompArgList0 TelService  
zzzzzzzzzzzz5    curIdx2 0    tp0 TelService    input TelService 
zzzzzzzzzzzz5    curIdx2 1    tp0 TelService    input @@8(proc[TelService][0][<:::@@3[CallSession][Stmt1][Stmt2]:::>])(proc[CallSession][4][<:::jumpTo(stepThru1(cTerm2[~2][~3][PerEvntActnList])[@@2[0][TelService]])[~1](cTerm2[~2][~3][NxtStateMap]):::>])(term[cTerm2[onhook][dialDigit[4]][PerEvntActnList]][say(concat[hello][,][%][World])])(term[cTerm2[offhook][dialDigit6][PerEvntActnList]][say(concat[lets][%][talk])])(term[cTerm2[talking][dialDigit[8]][PerEvntActnList]][say(concat[seeya][,][%][bye])])(term[cTerm2[onhook][dialDigit[4]][NxtStateMap]][offhook])(term[cTerm2[offhook][dialDigit6][NxtStateMap]][talking])(term[cTerm2[talking][dialDigit[8]][NxtStateMap]][disconnect]) 
zzzzzzzzzzzz5    curIdx2 2    tp0 TelService    input offhook 
zzzzzzzzzzzz5    curIdx2 3    tp0 TelService    input dialDigit6 
zzzzzzzzzzzz5    curIdx2 4    tp0 TelService    input dialDigit[8] 
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #19:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     CallSession
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 CallSession    tempStmt0 CallSession
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   [ TelService ]
        |  ARG1:   [ 1__CODES [ @@8 (proc :TelService :0 {:::  @@3 :CallSession :Stmt1 :Stmt2  :::})(proc :CallSession :4 {:::  jumpTo(stepThru1 (cTerm2 :~2 :~3 :PerEvntActnList)<:0:TelService>) :~1(cTerm2 :~2 :~3 :NxtStateMap)  :::})(term [cTerm2 :onhook[dialDigit :4] :PerEvntActnList][say(concat :hello[,][ ] :World)])(term [cTerm2 :offhook :dialDigit6 :PerEvntActnList][say(concat :lets[ ] :talk)])(term [cTerm2 :talking[dialDigit :8] :PerEvntActnList][say(concat :seeya[,][ ] :bye)])(term [cTerm2 :onhook[dialDigit :4] :NxtStateMap] :offhook)(term [cTerm2 :offhook :dialDigit6 :NxtStateMap] :talking)(term [cTerm2 :talking[dialDigit :8] :NxtStateMap] :disconnect)] ]
        |  ARG2:   [ 2__CURSTATE :offhook ]
        |  ARG3:   [ 3__EVENT :dialDigit6 ]
        |  ARG4:   .........NO UPDATES. 
  




==========================================================================>
( TREE DESCEND #20: )


.mmmmm.LEVEL5  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||  cTerm2
        |||||  :offhook
        |||||  :dialDigit6
        |||||  :PerEvntActnList
        |||||  
        |||||  =============>
        |||||  say(concat :lets[ ] :talk)
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #20:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 stepThru1(say(concat[lets][%][talk]))[@@2[0][TelService]]     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   ( stepThru1 (say(concat :lets[ ] :talk))<:0:TelService> )
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   ( 2__CURSTATE [cTerm2 :offhook :dialDigit6 :NxtStateMap] )
        |  ARG3:   [ 3__EVENT [dialDigit :8] ]
  




==========================================================================>
( TREE DESCEND #21: )


.mmmmmmm.LEVEL7  (type OP5 w 3 args)  RW SUCCESS:
        |||||||  concat
        |||||||  :lets
        |||||||  [ ]
        |||||||  :talk
        |||||||  
        |||||||  ====>   lets talk
  
               ( ****** LEVEL5 ACTION #2:  say  )    lets talk

.mmmmm.LEVEL5  (type OP5 w 1 args)  RW SUCCESS:
        |||||  say
        |||||  [lets talk]
        |||||  
        |||||  ====>   nil
  

.mmm.LEVEL3  (type OP5 w 2 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  stepThru1
        |||  :nil
        |||  <:0:TelService>
        |||  
        |||  =============>
        |||  @@2 :0 :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #21:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   ( @@2 :0 :TelService )
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   .........NO UPDATES:  2__CURSTATE
        |  ARG3:   .........NO UPDATES:  3__EVENT
  




==========================================================================>
( TREE DESCEND #22: )


.mmm.LEVEL3  (type OP5 w 2 args)  NOT REWRITABLE:
        |||  @@2
        |||  :0
        |||  :TelService
  

.mmm.LEVEL3  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  cTerm2
        |||  :offhook
        |||  :dialDigit6
        |||  :NxtStateMap
        |||  
        |||  =============>
        |||  talking
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #22:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   [ @@2 :0 :TelService ]
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   ( 2__CURSTATE :talking )
        |  ARG3:   .........NO UPDATES:  3__EVENT
  




==========================================================================>
( TREE DESCEND #23: )


.mmm.LEVEL3  (type OP2 w 0 args)  NOT REWRITABLE:  talking
  
zzzzzzzzzzzz0    sr 1    OPvariety OP2    Elems 4
zzzzzzzzzzzz1   tp0 ___   tp1 jumpTo    WFEcompArgList0 @@2[0][TelService]  
zzzzzzzzzzzz4   tp0 ___   tp1 jumpTo    WFEcompArgList0 @@2[0][TelService]  
zzzzzzzzzzzz5    curIdx2 0    tp0 ___    input @@2[0][TelService] 
zzzzzzzzzzzz5    curIdx2 1    tp0 ___    input @@8(proc[TelService][0][<:::@@3[CallSession][Stmt1][Stmt2]:::>])(proc[CallSession][4][<:::jumpTo(stepThru1(cTerm2[~2][~3][PerEvntActnList])[@@2[0][TelService]])[~1](cTerm2[~2][~3][NxtStateMap]):::>])(term[cTerm2[onhook][dialDigit[4]][PerEvntActnList]][say(concat[hello][,][%][World])])(term[cTerm2[offhook][dialDigit6][PerEvntActnList]][say(concat[lets][%][talk])])(term[cTerm2[talking][dialDigit[8]][PerEvntActnList]][say(concat[seeya][,][%][bye])])(term[cTerm2[onhook][dialDigit[4]][NxtStateMap]][offhook])(term[cTerm2[offhook][dialDigit6][NxtStateMap]][talking])(term[cTerm2[talking][dialDigit[8]][NxtStateMap]][disconnect]) 
zzzzzzzzzzzz5    curIdx2 2    tp0 ___    input talking 
zzzzzzzzzzzz5    curIdx2 3    tp0 ___    input dialDigit[8] 
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #23:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   .........NO UPDATES. 
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   [ 2__CURSTATE :talking ]
        |  ARG3:   .........NO UPDATES:  3__EVENT
  




==========================================================================>
( TREE DESCEND #24: )


.mmmmmmm.LEVEL7  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||||  @@2
        |||||||  :0
        |||||||  :TelService
        |||||||  :x0
        |||||||  
        |||||||  =============>
        |||||||  0
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #24:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@2 :0 :TelService :x1(concat :x(0))( @@2 :0 :TelService :x1) )
        |  ARG1:   [ @@8 (proc :TelService :0 {:::  @@3 :CallSession :Stmt1 :Stmt2  :::})(proc :CallSession :4 {:::  jumpTo(stepThru1 (cTerm2 :~2 :~3 :PerEvntActnList)<:0:TelService>) :~1(cTerm2 :~2 :~3 :NxtStateMap)  :::})(term [cTerm2 :onhook[dialDigit :4] :PerEvntActnList][say(concat :hello[,][ ] :World)])(term [cTerm2 :offhook :dialDigit6 :PerEvntActnList][say(concat :lets[ ] :talk)])(term [cTerm2 :talking[dialDigit :8] :PerEvntActnList][say(concat :seeya[,][ ] :bye)])(term [cTerm2 :onhook[dialDigit :4] :NxtStateMap] :offhook)(term [cTerm2 :offhook :dialDigit6 :NxtStateMap] :talking)(term [cTerm2 :talking[dialDigit :8] :NxtStateMap] :disconnect) ]
        |  ARG2:   [ talking ]
        |  ARG3:   [ dialDigit :8 ]
  




==========================================================================>
( TREE DESCEND #25: )


.mmmmmmm.LEVEL7  (type NUM w 0 args)  NOT REWRITABLE:  0
  

.mmmmm.LEVEL5  (type OP5 w 2 args)  RW SUCCESS:
        |||||  concat
        |||||  :x
        |||||  :0
        |||||  
        |||||  ====>   x0
  

.mmmmm.LEVEL5  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||  @@2
        |||||  :0
        |||||  :TelService
        |||||  :x1
        |||||  
        |||||  =============>
        |||||  TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #25:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@2 :0 :TelService :x1 :x0(TelService) )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #26: )


.mmmmm.LEVEL5  (type OP2 w 0 args)  NOT REWRITABLE:  TelService
  

.mmm.LEVEL3  (type OP5 w 5 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  @@2
        |||  :0
        |||  :TelService
        |||  :x1
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  TelService
        |||  
        |||  :x0
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #26:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( TelService :x0 :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #27: )

zzzzzzzzzzzz0    sr 3    OPvariety OP2    Elems 2
zzzzzzzzzzzz1   tp0 ___   tp1 TelService    WFEcompArgList0 x0  
zzzzzzzzzzzz4   tp0 ___   tp1 TelService    WFEcompArgList0 x0  
zzzzzzzzzzzz5    curIdx2 0    tp0 ___    input x0 
zzzzzzzzzzzz5    curIdx2 1    tp0 ___    input TelService 

.mmm.LEVEL3  (type OP2 w 2 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  TelService
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  @@3 :CallSession :Stmt1 :Stmt2
        |||  
        |||  :x0
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #27:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@3 :CallSession :Stmt1 :Stmt2 :x0 :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #28: )


.mmm.LEVEL3  (type OP5 w 5 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  @@3
        |||  :CallSession
        |||  :Stmt1
        |||  :Stmt2
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  CallSession
        |||  
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #28:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( CallSession :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #29: )


.mmm.LEVEL3  (type OP2 w 1 args)  NOT REWRITABLE:
        |||  CallSession
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #29:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   [ CallSession :TelService ]
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG3:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #30: )

zzzzzzzzzzzz0    sr 1    OPvariety OP2    Elems 4
zzzzzzzzzzzz1   tp0 ___   tp1 CallSession    WFEcompArgList0 TelService  
zzzzzzzzzzzz2   input <:::@@3[CallSession][Stmt1][Stmt2]:::>    
zzzzzzzzzzzz3   tempStmt0 @@    
zzzzzzzzzzzz4   tp0 TelService   tp1 CallSession    WFEcompArgList0 TelService  
zzzzzzzzzzzz5    curIdx2 0    tp0 TelService    input TelService 
zzzzzzzzzzzz5    curIdx2 1    tp0 TelService    input @@8(proc[TelService][0][<:::@@3[CallSession][Stmt1][Stmt2]:::>])(proc[CallSession][4][<:::jumpTo(stepThru1(cTerm2[~2][~3][PerEvntActnList])[@@2[0][TelService]])[~1](cTerm2[~2][~3][NxtStateMap]):::>])(term[cTerm2[onhook][dialDigit[4]][PerEvntActnList]][say(concat[hello][,][%][World])])(term[cTerm2[offhook][dialDigit6][PerEvntActnList]][say(concat[lets][%][talk])])(term[cTerm2[talking][dialDigit[8]][PerEvntActnList]][say(concat[seeya][,][%][bye])])(term[cTerm2[onhook][dialDigit[4]][NxtStateMap]][offhook])(term[cTerm2[offhook][dialDigit6][NxtStateMap]][talking])(term[cTerm2[talking][dialDigit[8]][NxtStateMap]][disconnect]) 
zzzzzzzzzzzz5    curIdx2 2    tp0 TelService    input talking 
zzzzzzzzzzzz5    curIdx2 3    tp0 TelService    input dialDigit[8] 
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #30:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     CallSession
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 CallSession    tempStmt0 CallSession
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   [ TelService ]
        |  ARG1:   [ 1__CODES [ @@8 (proc :TelService :0 {:::  @@3 :CallSession :Stmt1 :Stmt2  :::})(proc :CallSession :4 {:::  jumpTo(stepThru1 (cTerm2 :~2 :~3 :PerEvntActnList)<:0:TelService>) :~1(cTerm2 :~2 :~3 :NxtStateMap)  :::})(term [cTerm2 :onhook[dialDigit :4] :PerEvntActnList][say(concat :hello[,][ ] :World)])(term [cTerm2 :offhook :dialDigit6 :PerEvntActnList][say(concat :lets[ ] :talk)])(term [cTerm2 :talking[dialDigit :8] :PerEvntActnList][say(concat :seeya[,][ ] :bye)])(term [cTerm2 :onhook[dialDigit :4] :NxtStateMap] :offhook)(term [cTerm2 :offhook :dialDigit6 :NxtStateMap] :talking)(term [cTerm2 :talking[dialDigit :8] :NxtStateMap] :disconnect)] ]
        |  ARG2:   [ 2__CURSTATE :talking ]
        |  ARG3:   [ 3__EVENT [dialDigit :8] ]
  




==========================================================================>
( TREE DESCEND #31: )


.mmmmm.LEVEL5  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||  cTerm2
        |||||  :talking
        |||||  [dialDigit :8]
        |||||  :PerEvntActnList
        |||||  
        |||||  =============>
        |||||  say(concat :seeya[,][ ] :bye)
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #31:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 stepThru1(say(concat[seeya][,][%][bye]))[@@2[0][TelService]]     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   ( stepThru1 (say(concat :seeya[,][ ] :bye))<:0:TelService> )
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   ( 2__CURSTATE [cTerm2 :talking[dialDigit :8] :NxtStateMap] )
  




==========================================================================>
( TREE DESCEND #32: )


.mmmmmmm.LEVEL7  (type OP5 w 4 args)  RW SUCCESS:
        |||||||  concat
        |||||||  :seeya
        |||||||  [,]
        |||||||  [ ]
        |||||||  :bye
        |||||||  
        |||||||  ====>   seeya, bye
  
               ( ****** LEVEL5 ACTION #3:  say  )    seeya, bye

.mmmmm.LEVEL5  (type OP5 w 1 args)  RW SUCCESS:
        |||||  say
        |||||  [seeya, bye]
        |||||  
        |||||  ====>   nil
  

.mmm.LEVEL3  (type OP5 w 2 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  stepThru1
        |||  :nil
        |||  <:0:TelService>
        |||  
        |||  =============>
        |||  @@2 :0 :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #32:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   ( @@2 :0 :TelService )
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   .........NO UPDATES:  2__CURSTATE
  




==========================================================================>
( TREE DESCEND #33: )


.mmm.LEVEL3  (type OP5 w 2 args)  NOT REWRITABLE:
        |||  @@2
        |||  :0
        |||  :TelService
  

.mmm.LEVEL3  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  cTerm2
        |||  :talking
        |||  [dialDigit :8]
        |||  :NxtStateMap
        |||  
        |||  =============>
        |||  disconnect
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #33:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   [ @@2 :0 :TelService ]
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   ( 2__CURSTATE :disconnect )
  




==========================================================================>
( TREE DESCEND #34: )


.mmm.LEVEL3  (type OP2 w 0 args)  NOT REWRITABLE:  disconnect
  
zzzzzzzzzzzz0    sr 1    OPvariety OP2    Elems 3
zzzzzzzzzzzz1   tp0 ___   tp1 jumpTo    WFEcompArgList0 @@2[0][TelService]  
zzzzzzzzzzzz4   tp0 ___   tp1 jumpTo    WFEcompArgList0 @@2[0][TelService]  
zzzzzzzzzzzz5    curIdx2 0    tp0 ___    input @@2[0][TelService] 
zzzzzzzzzzzz5    curIdx2 1    tp0 ___    input @@8(proc[TelService][0][<:::@@3[CallSession][Stmt1][Stmt2]:::>])(proc[CallSession][4][<:::jumpTo(stepThru1(cTerm2[~2][~3][PerEvntActnList])[@@2[0][TelService]])[~1](cTerm2[~2][~3][NxtStateMap]):::>])(term[cTerm2[onhook][dialDigit[4]][PerEvntActnList]][say(concat[hello][,][%][World])])(term[cTerm2[offhook][dialDigit6][PerEvntActnList]][say(concat[lets][%][talk])])(term[cTerm2[talking][dialDigit[8]][PerEvntActnList]][say(concat[seeya][,][%][bye])])(term[cTerm2[onhook][dialDigit[4]][NxtStateMap]][offhook])(term[cTerm2[offhook][dialDigit6][NxtStateMap]][talking])(term[cTerm2[talking][dialDigit[8]][NxtStateMap]][disconnect]) 
zzzzzzzzzzzz5    curIdx2 2    tp0 ___    input disconnect 
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #34:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 jumpTo    tempStmt0 jumpTo
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   .........NO UPDATES. 
        |  ARG1:   .........NO UPDATES:  1__CODES
        |  ARG2:   [ 2__CURSTATE :disconnect ]
  




==========================================================================>
( TREE DESCEND #35: )


.mmmmmmm.LEVEL7  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||||  @@2
        |||||||  :0
        |||||||  :TelService
        |||||||  :x0
        |||||||  
        |||||||  =============>
        |||||||  0
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #35:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@2 :0 :TelService :x1(concat :x(0))( @@2 :0 :TelService :x1) )
        |  ARG1:   [ @@8 (proc :TelService :0 {:::  @@3 :CallSession :Stmt1 :Stmt2  :::})(proc :CallSession :4 {:::  jumpTo(stepThru1 (cTerm2 :~2 :~3 :PerEvntActnList)<:0:TelService>) :~1(cTerm2 :~2 :~3 :NxtStateMap)  :::})(term [cTerm2 :onhook[dialDigit :4] :PerEvntActnList][say(concat :hello[,][ ] :World)])(term [cTerm2 :offhook :dialDigit6 :PerEvntActnList][say(concat :lets[ ] :talk)])(term [cTerm2 :talking[dialDigit :8] :PerEvntActnList][say(concat :seeya[,][ ] :bye)])(term [cTerm2 :onhook[dialDigit :4] :NxtStateMap] :offhook)(term [cTerm2 :offhook :dialDigit6 :NxtStateMap] :talking)(term [cTerm2 :talking[dialDigit :8] :NxtStateMap] :disconnect) ]
        |  ARG2:   [ disconnect ]
  




==========================================================================>
( TREE DESCEND #36: )


.mmmmmmm.LEVEL7  (type NUM w 0 args)  NOT REWRITABLE:  0
  

.mmmmm.LEVEL5  (type OP5 w 2 args)  RW SUCCESS:
        |||||  concat
        |||||  :x
        |||||  :0
        |||||  
        |||||  ====>   x0
  

.mmmmm.LEVEL5  (type OP5 w 3 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||||  @@2
        |||||  :0
        |||||  :TelService
        |||||  :x1
        |||||  
        |||||  =============>
        |||||  TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #36:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@2 :0 :TelService :x1 :x0(TelService) )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #37: )


.mmmmm.LEVEL5  (type OP2 w 0 args)  NOT REWRITABLE:  TelService
  

.mmm.LEVEL3  (type OP5 w 5 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  @@2
        |||  :0
        |||  :TelService
        |||  :x1
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  TelService
        |||  
        |||  :x0
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #37:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( TelService :x0 :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #38: )

zzzzzzzzzzzz0    sr 3    OPvariety OP2    Elems 2
zzzzzzzzzzzz1   tp0 ___   tp1 TelService    WFEcompArgList0 x0  
zzzzzzzzzzzz4   tp0 ___   tp1 TelService    WFEcompArgList0 x0  
zzzzzzzzzzzz5    curIdx2 0    tp0 ___    input x0 
zzzzzzzzzzzz5    curIdx2 1    tp0 ___    input TelService 

.mmm.LEVEL3  (type OP2 w 2 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  TelService
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  @@3 :CallSession :Stmt1 :Stmt2
        |||  
        |||  :x0
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #38:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( @@3 :CallSession :Stmt1 :Stmt2 :x0 :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #39: )


.mmm.LEVEL3  (type OP5 w 5 args)  EXPANDING RW - NEED NEW DESCEND NOW:
        |||  @@3
        |||  :CallSession
        |||  :Stmt1
        |||  :Stmt2
        |||  :x0
        |||  :TelService
        |||  
        |||  =============>
        |||  CallSession
        |||  
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #39:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   ( CallSession :TelService )
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #40: )


.mmm.LEVEL3  (type OP2 w 1 args)  NOT REWRITABLE:
        |||  CallSession
        |||  :TelService
  
 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #40:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     <--------SAME AS IN ABOVE DESCEND:  id
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 id    tempStmt0 mmm
        |  ARG0:   [ CallSession :TelService ]
        |  ARG1:   <--------SAME AS IN ABOVE DESCEND. 
        |  ARG2:   <--------SAME AS IN ABOVE DESCEND. 
  




==========================================================================>
( TREE DESCEND #41: )

 
.m.LEVEL1  AT ENTRY OF OUTERMOST RW ATTEMPT IN CURRENT DESCEND #41:
        |  """""""""""""""""""""""""""""""""""""""""""""""""""""""
        |  OP:     CallSession
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm1   @OPstr1 CallSession    tempStmt0 CallSession
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm2   tp2 TelService     temp6  0
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 0 
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 1    GOTOARGNAMES  1__CODES
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 2    GOTOARGNAMES  2__CURSTATE
mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm3   curIdx 3    GOTOARGNAMES  3__EVENT
        |  ARG0:   [ TelService ]
        |  ARG1:   [ 1__CODES [ @@8 (proc :TelService :0 {:::  @@3 :CallSession :Stmt1 :Stmt2  :::})(proc :CallSession :4 {:::  jumpTo(stepThru1 (cTerm2 :~2 :~3 :PerEvntActnList)<:0:TelService>) :~1(cTerm2 :~2 :~3 :NxtStateMap)  :::})(term [cTerm2 :onhook[dialDigit :4] :PerEvntActnList][say(concat :hello[,][ ] :World)])(term [cTerm2 :offhook :dialDigit6 :PerEvntActnList][say(concat :lets[ ] :talk)])(term [cTerm2 :talking[dialDigit :8] :PerEvntActnList][say(concat :seeya[,][ ] :bye)])(term [cTerm2 :onhook[dialDigit :4] :NxtStateMap] :offhook)(term [cTerm2 :offhook :dialDigit6 :NxtStateMap] :talking)(term [cTerm2 :talking[dialDigit :8] :NxtStateMap] :disconnect)] ]
        |  ARG2:   [ 2__CURSTATE :disconnect ]
  



CODES NOW NOT REWRITABLE !
END OF CODES EXECUTION
https://ideone.com/ErzjdU
language:
Perl (perl 2018.12)
created:
1 year ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!