Given a finitely generated virtually free group $G= \langle X \rangle$ and its free subgroup $U \subseteq G$, $U = \langle X^\prime \rangle$.
Two questions:
- Is $U$ finitely generated?
- Does $X^\prime \subseteq X$ hold? If not, is there an example where even $|X^\prime| > |X|$?