magnus/inventory/HNNExtensions/subgroup_homomorphism
