diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
index 1a8ba64e4..ab6668532 100644
--- a/.github/workflows/gobra.yml
+++ b/.github/workflows/gobra.yml
@@ -23,7 +23,7 @@ env:
   mceMode: 'od'
   requireTriggers: '1'
   useZ3API: '0'
-  backend: 'SILICON'
+  viperBackend: 'SILICON'
   disableNL: '0'
   unsafeWildcardOptimization: '1'
   overflow: '0'
@@ -67,7 +67,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/addr'
         uses: viperproject/gobra-action@main
@@ -87,7 +87,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/experimental/epic'
         uses: viperproject/gobra-action@main
@@ -106,7 +106,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/log'
         uses: viperproject/gobra-action@main
@@ -125,7 +125,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/private/serrors'
         uses: viperproject/gobra-action@main
@@ -144,7 +144,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/scrypto'
         uses: viperproject/gobra-action@main
@@ -163,7 +163,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/slayers'
         uses: viperproject/gobra-action@main
@@ -182,7 +182,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/slayers/path'
         uses: viperproject/gobra-action@main
@@ -201,7 +201,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/slayers/path/empty'
         uses: viperproject/gobra-action@main
@@ -220,7 +220,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/slayers/path/epic'
         uses: viperproject/gobra-action@main
@@ -240,7 +240,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/slayers/path/onehop'
         uses: viperproject/gobra-action@main
@@ -259,7 +259,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'pkg/slayers/path/scion'
         uses: viperproject/gobra-action@main
@@ -278,7 +278,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'private/topology'
         uses: viperproject/gobra-action@main
@@ -297,7 +297,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'private/topology/underlay'
         uses: viperproject/gobra-action@main
@@ -316,7 +316,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'private/underlay/conn'
         uses: viperproject/gobra-action@main
@@ -335,7 +335,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'private/underlay/sockctrl'
         uses: viperproject/gobra-action@main
@@ -354,7 +354,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'router/bfd'
         uses: viperproject/gobra-action@main
@@ -373,7 +373,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Verify package 'router/control'
         uses: viperproject/gobra-action@main
@@ -392,7 +392,7 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: ${{ env.disableNL }}
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}
       - name: Upload the verification report
         uses: actions/upload-artifact@v2
@@ -425,6 +425,6 @@ jobs:
           overflow: ${{ env.overflow }}
           useZ3API: ${{ env.useZ3API }}
           disableNL: '1'
-          backend: ${{ env.backend }}
+          viperBackend: ${{ env.viperBackend }}
           unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}