Rewrite comment as: "Check for recursive instantiation of tdx"