Added documentation on the `coinductive_success_hook/1-2` user defined hook predicates to the Reference Manual