Update the `debugger` tool to prefix the exit port with an asterisk when a call succeeds leaving choice-points when using a backend Prolog compiler other than Lean Prolog and Quintus Prolog