oundFailure :: S.State -> P.Result -> [Rose P.Result] -> IO (Int, Int, Int)
foundFailure st res ts =
  do localMin st{ S.numTryShrinks = 0 } res res ts

foundFailure :: S.State -> P.Result -> [Rose P.Result] -> IO (Int, Int, Int)
foundFailure st res ts =
  do localMin st{ S.numTryShrinks = 0 } res res ts
foundFailure st res ts =
  do localMin st{ S.numTryShrinks = 0 } res res ts