g3: verdict NO-MATCH start 4 best 4 compiles 330 path 
g4s: verdict NO-MATCH start 4 best 4 compiles 487 path 
g5: verdict NO-MATCH start 4 best 4 compiles 888 path 
s1: verdict NO-MATCH start 4 best 4 compiles 164 path 
s2: verdict NO-MATCH start 4 best 4 compiles 164 path 
s4: verdict NO-MATCH start 4 best 4 compiles 310 path 
s7: verdict NO-MATCH start 4 best 4 compiles 282 path 
s9: verdict NO-MATCH start 4 best 4 compiles 143 path 
s10: verdict NO-MATCH start 4 best 4 compiles 143 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R7 block @5124 -> 4 [COUNT] (from 4)
  R2 decl-order 1,0 -> 4 [COUNT] (from 4)
  R9 swap-stmts @5125 -> 4 [COUNT] (from 4)
  R18 bystander @5125->5128 -> 4 [COUNT] (from 4)
  R7 block @5125 -> 4 [COUNT] (from 4)
  R18 bystander @5126->5124 -> 4 [COUNT] (from 4)
  R7 block @5126 -> 4 [COUNT] (from 4)
  R9 swap-stmts @5136 -> 4 [COUNT] (from 4)
  R7 block @5128 -> 4 [COUNT] (from 4)
  R7 block @5134 -> 4 [COUNT] (from 4)
  R7 do-while @5134 -> 4 [COUNT] (from 4)
  R7 block @5136 -> 4 [COUNT] (from 4)
