g6: verdict NO-MATCH start 18 best 18 compiles 331 path 
s7: verdict NO-MATCH start 18 best 18 compiles 568 path 
s9: verdict NO-MATCH start 18 best 18 compiles 254 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R8 hoist tmp0 @4644 -> 18 [COUNT] (from 18)
  R7 block @4643 -> 18 [COUNT] (from 18)
  R10 param-copy a0 @4632 -> 18 [COUNT] (from 18)
  R8 temp tmp0 @4642 -> 18 [COUNT] (from 18)
  R7 do-while @4643 -> 18 [COUNT] (from 18)
  R8 base tmp0 @4642 -> 18 [COUNT] (from 18)
  R7 block @4645 -> 18 [COUNT] (from 18)
  R8 temp tmp0 @4641 -> 18 [COUNT] (from 18)
  R18 bystander @4704->4706 -> 18 [COUNT] (from 18)
  R7 do-while @4645 -> 18 [COUNT] (from 18)
  R9 swap-stmts @4642 -> 18 [COUNT] (from 18)
  R8 base tmp0 @4641 -> 18 [COUNT] (from 18)
