Now that Expr equality works in Boogie start fixing the Map test case.
Now that Expr equality works in Boogie start fixing the Map test case.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix