Link to the asp* fifo proofs: https://github.com/pennyan/asp