Construct predecessor edges.