Only run `find_Top` on the goal where there is a `Tip` to be found.
Only run `find_Top` on the goal where there is a `Tip` to be found.

slightly fragile, but easy to recover, and saves us time.

antalsz/hs-to-coq,antalsz/hs-to-coq