Update the `debugger` tool to avoid introducing spurious choice-points when using a backend Prolog compiler other than ECLiPSe, Lean Prolog, and Quintus Prolog