Old ABNF grammar of Yul.
We use our verified ABNF grammar parser to parse the old ABNF grammar of Yul into a representation in ACL2.
This is the old grammar of Yul; see concrete-syntax.
