 (rmt:top-test-set-per-pf-counts 5 runfirst) is broken