优化忠实度分析只能验证预定义的变换模式，无法发现模型自创的、未在基准中列出的优化；某些语义等价的变换可能在AST上表现不同，导致漏检。