This package contains the Boogie 2 AST. The AST is built automatically from the AST grammar given in the file Boogie.ast. A Boogie program is represented by the class Unit.