g3: verdict NO-MATCH start 8 best 8 compiles 801 path 
g4s: verdict NO-MATCH start 8 best 8 compiles 801 path 
g5: verdict NO-MATCH start 8 best 8 compiles 2315 path 
s1: verdict NO-MATCH start 8 best 8 compiles 190 path 
s2: verdict NO-MATCH start 8 best 8 compiles 190 path 
s4: verdict NO-MATCH start 8 best 8 compiles 428 path 
s7: verdict NO-MATCH start 8 best 8 compiles 549 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R7 block @1770 -> 8 [COUNT] (from 8)
  R6 inline new_var2 @1773 -> 8 [COUNT] (from 8)
  R18 bystander @1645->1641 -> 8 [COUNT] (from 8)
  R8 hoist tmp0 @1780 -> 8 [COUNT] (from 8)
  R18 bystander @1645->1642 -> 8 [COUNT] (from 8)
  R7 block @1779 -> 8 [COUNT] (from 8)
  R5 swap + @1774 -> 8 [COUNT] (from 8)
  R18 bystander @1645->1643 -> 8 [COUNT] (from 8)
  R7 do-while @1779 -> 8 [COUNT] (from 8)
  R8 hoist tmp0 @1767 -> 8 [COUNT] (from 8)
  R18 bystander @1645->1644 -> 8 [COUNT] (from 8)
  R7 block @1771 -> 8 [COUNT] (from 8)
