To avoid long compile delays with bison v3.7.4 generating conflict counterexamples
Authored by: locbook 2021-10-11
Parent: [r12745]
Child: [r12747]
