InI would need a clarification about a statement in the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel, after.
First recall that a limit group is a finitely generated group that is a limit of free groups in the statementspace of marked groups (regardless of a choice of marking). This is (non-trivially) equivalent to: a finitely generated group that is fully residually free. Such groups are automatically finitely presented. (And they are obviously torsion-free, so that in the next few lines "cyclic" means "either trivial or infinite cyclic".)
Here are now the relevant excerpts. First, Corollary 3.4 (p1429), with reference to Remeslennikov: Any limit group has a free action on an $\mathbf{R}^n$-tree [for some $n$].
Then, Theorem 7.1 on page 1430(p1430): "dévissage theorem": if a finitely generated, freely indecomposable group has a free action on an $\mathbf{R}^n$-tree ($n\ge 2$), then it decomposes as the Bass-Serre fundamental group of a finite graph of groups, with cyclic edge groups and each of whose vertex groups admits a free action on an $\mathbf{R}^{n-1}$-tree.
Just after the statement of this theorem, the author concludes: "Hence,recalls Rips' result that freely indecomposable finitely generated groups with a limit group can be obtained fromfree action on an $\mathbf{R}$-tree are either free abelian and surfaceor fundamental groups by a finite sequence of free products and amalgamations over Z"closed surfaces (of negative curvature).
Then he deduces Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over $\mathbf{Z}$.
Question: Why areAre HNN-extensions not necessary(with cyclic edge groups) really unnecessary in this decomposition?
Here is the full reference to the cited article:
Vincent Guirardel, Limit groups and groups acting freely on $\mathbb{R}^n$-trees, Geometry & Topology 8 (2004), pages 1427-1470
DOI: 10.2140/gt.2004.8.1427, arXiv: math/0306306 [math.GR]