Update documentation for the coinduction hook predicates