g3: verdict NO-MATCH start 11 best 11 compiles 806 path 
g5: verdict NO-MATCH start 11 best 6 compiles 2241 path R9 swap-stmts @557 + R7 do-while @556
s1: verdict NO-MATCH start 11 best 11 compiles 185 path 
s2: verdict NO-MATCH start 11 best 11 compiles 185 path 
s4: verdict NO-MATCH start 11 best 11 compiles 431 path 
s7: verdict NO-MATCH start 11 best 11 compiles 550 path 
s8: verdict NO-MATCH start 11 best 11 compiles 241 path 
s9: verdict NO-MATCH start 11 best 11 compiles 241 path 
s10: verdict NO-MATCH start 11 best 11 compiles 241 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R6 inline arg0 @555 -> 11 [COUNT] (from 11)
  R9 swap-stmts @555 -> 11 [COUNT] (from 11)
  R2 decl-order 0,2,1 -> 11 [COUNT] (from 11)
  R4 decl-move temp_a3 16->0 -> 11 [COUNT] (from 11)
  R6 inline t6 @561 -> 11 [COUNT] (from 11)
  R18 bystander @555->558 -> 11 [COUNT] (from 11)
  R9 swap-stmts @556 -> 11 [COUNT] (from 11)
  R2 decl-order 1,0,2 -> 11 [COUNT] (from 11)
  R4 decl-move temp_a3 16->1 -> 11 [COUNT] (from 11)
  R6 inline end @569 -> 11 [COUNT] (from 11)
  R18 bystander @555->559 -> 11 [COUNT] (from 11)
  R7 block @549 -> 11 [COUNT] (from 11)
