Partial Correctness of the Top-Down Solver by Yannick Stade 📧, Sarah Tilscher 📧 and Helmut Seidl 📧 May 09