holeSources[k][i]: the inputs that carry edge i of hole k.
holeSources[k][i]
i
k
final List<List<Set<Handle>>> holeSources;