g3: verdict NO-MATCH start 17 best 17 compiles 819 path 
g5: verdict NO-MATCH start 17 best 17 compiles 2353 path 
s1: verdict NO-MATCH start 17 best 17 compiles 190 path 
s2: verdict NO-MATCH start 17 best 17 compiles 190 path 
s4: verdict NO-MATCH start 17 best 17 compiles 445 path 
s7: verdict NO-MATCH start 17 best 17 compiles 570 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R8 temp tmp0 @1952 -> 17 [COUNT] (from 17)
  R7 block @2003 -> 17 [COUNT] (from 17)
  R10 param-copy arg0 @1949 -> 17 [COUNT] (from 17)
  R8 base tmp0 @1952 -> 17 [COUNT] (from 17)
  R7 do-while @2003 -> 17 [COUNT] (from 17)
  R7 block @1949 -> 17 [COUNT] (from 17)
  R8 temp tmp0 @1959 -> 17 [COUNT] (from 17)
  R7 block @1972 -> 17 [COUNT] (from 17)
  R8 temp tmp0 @2001 -> 17 [COUNT] (from 17)
  R7 do-while @1972 -> 17 [COUNT] (from 17)
  R8 temp tmp0 @1999 -> 17 [COUNT] (from 17)
  R7 block @1960 -> 17 [COUNT] (from 17)
