Update CBMC prerequisites

viktormalik · viktormalik · commit b7756922a72a · 2021-10-24T12:27:41.000+02:00
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit c33d35e309ebf4049353cfe00c273059f7095dbe
+Subproject commit cef5c19e2ba2f068ee0002b60b6e814ea21e1d07
