s5: verdict NO-MATCH start 4 best 4 compiles 50 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R7 block @6515 -> 4 [COUNT] (from 4)
  R9 swap-stmts @6518 -> 4 [ORDER] (from 4)
  R7 do-while @6515 -> 4 [COUNT] (from 4)
  R7 block @6508 -> 4 [COUNT] (from 4)
  R7 block @6513 -> 4 [COUNT] (from 4)
  R7 do-while @6513 -> 4 [COUNT] (from 4)
  R7 block @6518 -> 4 [COUNT] (from 4)
  R7 do-while @6518 -> 4 [COUNT] (from 4)
  R7 block @6511 -> 4 [COUNT] (from 4)
  R7 do-while @6511 -> 4 [COUNT] (from 4)
  R7 block @6519 -> 4 [COUNT] (from 4)
  R7 do-while @6519 -> 4 [COUNT] (from 4)
