Disambiguation between
Theorem:
(defthm fail-either-range-when-match-dquote (implies (and (tree-match-element-p tree (element-rulename *dquote*) *grammar*) (tree-terminatedp tree)) (mv-nth 0 (parse-in-either-range 32 33 35 126 (append (tree->string tree) rest-input)))))