Update the SWI-Prolog hooks integration file to also be able to decompile calls to the auxiliary predicates generated for coinductive predicates