temporary fix: in Posets, changed two uses of vertices to Graphs$vertices