pointer encoding: tests changed

Author: kroening

regression/cbmc/hex_trace/main.c

@@ -5,6 +5,7 @@ int main()
   float f;
 
   a = 0;
+  b = 0;
   a = -100;
   a = 2147483647;
   b = a * 2;