Fix previous commit for compilation of coinductive directives