Proving properties of various data structures with LiquidHaskell (Port of Appel's VFA) - View it on GitHub