An experiment on graphs

This is based on “Proving Correctness of Compilers using Structured Graphs”