Fix bug in ConstantCachingBuilder, there wasn't actually a bug in Boogie.
Fix bug in ConstantCachingBuilder, there wasn't actually a bug in
Boogie.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix