Merge branch 'master' into drop_fractions_functions

.github/workflows/gobra.yml

@@ -434,12 +434,7 @@ jobs:
           includePaths: ${{ env.includePaths }}
           assumeInjectivityOnInhale: ${{ env.assumeInjectivityOnInhale }}
           checkConsistency: ${{ env.checkConsistency }}
-          # Due to a bug introduced in https://github.com/viperproject/gobra/pull/776,
-          # we must currently disable the chopper, otherwise we well-founded orders
-          # for termination checking are not available at the chopped Viper parts.
-          # We should reenable it whenever possible, as it reduces verification time in
-          # ~8 min (20%).
-          # chop: 10
+          chop: 10
           parallelizeBranches: '1'
           conditionalizePermissions: '1'
           moreJoins: 'impure'