Property-based testing with inputs defined as EBNF grammars - View it on GitHub