On treeings arising from HNN extensions | Synapse