Base case of the completeness lemma for parse-group.
Theorem: parse-group-when-tree-match-base-case
(defthm parse-group-when-tree-match-base-case (implies (mv-nth 0 (parse-ichar #\( input)) (pred-group input)))