g3: verdict NO-MATCH start 13 best 7 compiles 814 path R7 do-while @2936 + R7 do-while @2946
g5: verdict NO-MATCH start 13 best 7 compiles 2196 path R7 do-while @2947
s1: verdict NO-MATCH start 13 best 13 compiles 188 path 
s2: verdict NO-MATCH start 13 best 13 compiles 188 path 
s4: verdict NO-MATCH start 13 best 13 compiles 439 path 
s7: verdict NO-MATCH start 13 best 7 compiles 561 path R7 do-while @2936 + R7 block @2944 + R7 do-while @2946
s9: verdict NO-MATCH start 13 best 13 compiles 252 path 
s10: verdict NO-MATCH start 13 best 13 compiles 252 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R7 block @2946 -> 13 [COUNT] (from 13)
  R10 param-copy param_1 @2921 -> 13 [COUNT] (from 13)
  R6 inline v790 @2947 -> 13 [COUNT] (from 13)
  R18 bystander @2941->2944 -> 13 [COUNT] (from 13)
  R18 bystander @2941->2945 -> 13 [COUNT] (from 13)
  R7 block @2938 -> 13 [COUNT] (from 13)
  R9 swap-stmts @2947 -> 13 [COUNT] (from 13)
  R10 param-alias src->param_2 @2924 -> 13 [COUNT] (from 13)
  R18 bystander @2941->2946 -> 13 [COUNT] (from 13)
  R7 do-while @2938 -> 13 [COUNT] (from 13)
  R18 bystander @2941->2947 -> 13 [COUNT] (from 13)
  R7 block @2937 -> 13 [COUNT] (from 13)
