https://github.com/lhutton1 commented: Thanks @tatwaichong, mostly had questions about conformance of these checks to the specification. Will other checks such as `MAX_NESTING` come in future changes? https://github.com/llvm/llvm-project/pull/128074