                   bpPlayAction = playTapeWithStrictness initGuts flags measure,
                   bpRoot = ActionSeqEnd,
                   bpIsDeterministic = True}


-- inliningPayoff :: ModGuts -> DynFlags -> CountMeasure -> ActionSpec SearchTapeElement -> IO Float
inliningPayoff guts dflags measure tape =