Verified that it can actually parse real Alonzo code