for G being acyclic _Graph holds G is simple ;