IsLoopy( gamma )
This boolean function returns true if and only if the graph gamma has
a loop, that is, an edge of the form [x,x].
gap> IsLoopy( JohnsonGraph( 4, 2 ) );
false
gap> IsLoopy( CompleteGraph( Group( (1,2,3), (1,2) ), 3 ) );
false
gap> IsLoopy( CompleteGraph( Group( (1,2,3), (1,2) ), 3, true ) );
true
GAP 3.4.4