Try to fix the BuilderDuplicatiorTests.SimpleExists(). Unfortunately there seems to be another issue where Boogie's type checker is trying to change the Decl on an immutable identifier Expr.
Try to fix the BuilderDuplicatiorTests.SimpleExists(). Unfortunately
there seems to be another issue where Boogie's type checker is trying
to change the Decl on an immutable identifier Expr.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix