# File warshall.rb, line 225
        def nachfolger(x)
                @nach[x]!=nil ? @nach[x] : Menge.new([])
        end