Bump CBMC submodule

chrisr-diffblue · chrisr-diffblue · commit 42f7c152f484 · 2019-06-13T15:00:55.000+01:00
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 58f628c7cb900b4c56380174d3d0197891d64045
+Subproject commit 9701c54dd71d862a9c30a2721e1f2ad7f335d79b
