for G being _Graph holds G is addLoops of G, {}