google/souper — pull request #109 by regehr (2014-11-06 22:09:51+00:00)
Title: change the serialized souper format a bit as suggested by Peter in email

... to annotate each block with its number of predecessors; this simplifies parsing a
bit