More Boogie AST nodes and more type-safety for some existing nodes.
More Boogie AST nodes and more type-safety for some existing nodes.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors