Theorem: string-listp-of-transdeps
(defthm string-listp-of-transdeps (implies (and (string-listp nodes) (vl-depgraph-p graph)) (string-listp (depgraph::transdeps nodes graph))))