Girth Alternative for HNN Extensions

We prove the Girth Alternative for a sub-class of the HNN extensions of finitely generated groups. We also produce counterexamples to show that beyond our class, the alternative fails in general.