A cycle formed by the referenced EDGEs. A cycle in this context always refers to a "simple" cycle,
i.e. the list of edges is not empty, the origin of the first Edge is equal
to the target of the last Edge and every node contained in the cycle
is contained exactly once.