1 2 3 4
-------------------- Maps.bpl -------------------- Boogie program verifier finished with 1 verified, 0 errors