Edges are now not saved by nodes, but by Graph. Map from Nodes to incoming and outgoing graph sets greatly improved performance for the getPredecessor lookup. Some improvements in PartialAlignment, too.