Disable wildcard optimization in the CI (#397)

Author: jcp19

.github/workflows/gobra.yml

@@ -25,7 +25,7 @@ env:
   useZ3API: '0'
   viperBackend: 'SILICON'
   disableNL: '0'
-  unsafeWildcardOptimization: '1'
+  unsafeWildcardOptimization: '0'
   overflow: '0'
   respectFunctionPrePermAmounts: '0'