change the serialized souper format a bit as suggested by Peter in email:
annotate each block with its number of predecessors; this simplifies parsing a
bit