More robust compilation of coinductive hook predicates