Assume that $X$ is a tree such that every vertex has infinite degree, and a discrete group $G$ acts on this tree properly (with finite stabilizers) and transitively. Is it true that $G$ contains a non-abelian free subgroup?