Debug code generated for clauses with pre-compiled heads now uses the form `user::Head` instead of `{Head}` in order to avoid predicate call reporting issues in the `debugger` and `lgtunit` tools