Parsing failure propagation from c-wsp to (1*c-wsp repetition).
Theorem: fail-conc-rest-comp-when-fail-cwsp
(defthm fail-conc-rest-comp-when-fail-cwsp (implies (mv-nth 0 (parse-cwsp input)) (mv-nth 0 (parse-conc-rest-comp input))))