Update the coinduction examples to avoid compilation errors due to the new check for `coinductive/1` directives after calls to the declared predicates