Current InversesOfSemigroupElement method runs on indefintely for an infinite semigroup

[Tianrun-Y]

Take a free semigroup F of rank 1 for example. InversesOfSemigroupElement(F, F.1) would keep on searching.

[james-d-mitchell]

As we discussed, it's not completely clear if this is a bug in Semigroups or in GAP itself, I'll investigate and report again here.