The sign.verify instruction is missing from the grammar https://github.com/AleoHQ/snarkVM/pull/1865