Fix documentation of some of the `debugger` tool predicates