Fix induction tests

Author: pavpanchekha

.github/workflows/tests.yml

@@ -21,7 +21,7 @@ jobs:
       - name: "Install Racket"
         uses: Bogdanp/[email protected]
       - name: "Install Z3"
-        uses: pavpanchekha/setup-z3@v1.2
+        uses: pavpanchekha/setup-z3@master
       - run: racket src/run.rkt accept bench/just_list.rkt base |& grep -q Rejected
         name: "Base case"
       - run: racket src/run.rkt accept bench/just_list.rkt base2 |& grep -q Rejected