Disambiguation between
Theorem:
(defthm fail-either-range-when-match-close-angle (implies (tree-match-element-p tree (element-char-val (char-val-insensitive nil ">")) *grammar*) (mv-nth 0 (parse-in-either-range 32 61 63 126 (append (tree->string tree) rest-input)))))