Upgrade to the latest Boogie in preparation for making big change to Boogie. The StandardVisitor design is broken because some of the methods should return an Expr but instead they return the type of the object which is broken because it means we can't fold something like a BVExtract for example.
Upgrade to the latest Boogie in preparation for making big change to
Boogie. The StandardVisitor design is broken because some of the
methods should return an Expr but instead they return the type
of the object which is broken because it means we can't fold something
like a BVExtract for example.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix