Minor error checking optimizations for `info/2` and `coinductive/1` directives