Only runs tests for the `coinductive/1` directive with backend Prolog compilers that support coinduction