Parse parses a set of EBNF productions from source src.

Verify checks that: - all productions used are defined - all productions defined are used when beginning at start - lexical productions refer only to other lexical productions Position information is interpreted relative to the file set fset.