Upgrade to new version of Boogie that fixes CallCmd resolving bug in the Duplicator. This fixes the following tests
Upgrade to new version of Boogie that fixes CallCmd resolving bug
in the Duplicator. This fixes the following tests

- test_programs/logging/CallGrindTest.bpl
- BoogieTests.Duplicator.CallCmdResolving()

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix