Girth alternative for HNN extensions | Synapse