diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-14.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-14.rkt
index 8ccbf29ca1..77276b33c9 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-14.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-14.rkt
@@ -443,13 +443,9 @@
            (with-handlers
                ([exn:fail? (λ (exc)
                              (unless
-                                 (or
-                                  (regexp-match?
-                                   #rx"^counterexample"
-                                   (exn-message exc))
-                                  (regexp-match?
-                                   #rx"domain"
-                                   (exn-message exc)))
+                                 (regexp-match?
+                                  #"counterexample|domain|clauses"
+                                  (exn-message exc))
                                (printf "exception on ~s\n~s\n" e
                                        (exn-message exc)))
                              #f)])
@@ -481,6 +477,7 @@
         (generate-term bytecode e #:i-th index)
         (set! index (add1 index))))))
 
+(define fixed '())
 (test-equal
  (bytecode-ok?
    '(let-one 'x 
@@ -488,4 +485,3 @@
                       'x)))
  #t)
 
-(define fixed '())
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-15.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-15.rkt
index 598c8b5052..a156087fdb 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-15.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-15.rkt
@@ -440,13 +440,9 @@
            (with-handlers
                ([exn:fail? (λ (exc)
                              (unless
-                                 (or
-                                  (regexp-match?
-                                   #rx"^counterexample"
-                                   (exn-message exc))
-                                  (regexp-match?
-                                   #rx"domain"
-                                   (exn-message exc)))
+                                 (regexp-match?
+                                  #"counterexample|domain|clauses"
+                                  (exn-message exc))
                                (printf "exception on ~s\n~s\n" e
                                        (exn-message exc)))
                              #f)])
@@ -478,6 +474,7 @@
         (generate-term bytecode e #:i-th index)
         (set! index (add1 index))))))
 
+(define fixed '())
 (test-equal
  (bytecode-ok?
    '(let-one 42 
@@ -486,4 +483,3 @@
                                   (loc-box 1)))))
  #t)
 
-(define fixed '())
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-3.rkt
index 8e9c31cf58..366e26c934 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-3.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-3.rkt
@@ -438,13 +438,9 @@
            (with-handlers
                ([exn:fail? (λ (exc)
                              (unless
-                                 (or
-                                  (regexp-match?
-                                   #rx"^counterexample"
-                                   (exn-message exc))
-                                  (regexp-match?
-                                   #rx"domain"
-                                   (exn-message exc)))
+                                 (regexp-match?
+                                  #"counterexample|domain|clauses"
+                                  (exn-message exc))
                                (printf "exception on ~s\n~s\n" e
                                        (exn-message exc)))
                              #f)])
@@ -476,6 +472,7 @@
         (generate-term bytecode e #:i-th index)
         (set! index (add1 index))))))
 
+(define fixed '())
 (test-equal
  (bytecode-ok?
   '(application
@@ -484,4 +481,3 @@
     (install-value 0 'y (boxenv 0 'z))))
  #t)
 
-(define fixed '())
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt
index 3c8dc169a4..473958a446 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-4.rkt
@@ -439,13 +439,9 @@
            (with-handlers
                ([exn:fail? (λ (exc)
                              (unless
-                                 (or
-                                  (regexp-match?
-                                   #rx"^counterexample"
-                                   (exn-message exc))
-                                  (regexp-match?
-                                   #rx"domain"
-                                   (exn-message exc)))
+                                 (regexp-match?
+                                  #"counterexample|domain|clauses"
+                                  (exn-message exc))
                                (printf "exception on ~s\n~s\n" e
                                        (exn-message exc)))
                              #f)])
@@ -477,10 +473,10 @@
         (generate-term bytecode e #:i-th index)
         (set! index (add1 index))))))
 
+(define fixed '())
 (test-equal
  (bytecode-ok?
   '(let-one 'x
             (branch #f (boxenv 0 'y) (loc-box 0))))
  #t)
 
-(define fixed '())
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt
index f65144313a..5206b3f16f 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-5.rkt
@@ -439,13 +439,9 @@
            (with-handlers
                ([exn:fail? (λ (exc)
                              (unless
-                                 (or
-                                  (regexp-match?
-                                   #rx"^counterexample"
-                                   (exn-message exc))
-                                  (regexp-match?
-                                   #rx"domain"
-                                   (exn-message exc)))
+                                 (regexp-match?
+                                  #"counterexample|domain|clauses"
+                                  (exn-message exc))
                                (printf "exception on ~s\n~s\n" e
                                        (exn-message exc)))
                              #f)])
@@ -477,6 +473,7 @@
         (generate-term bytecode e #:i-th index)
         (set! index (add1 index))))))
 
+(define fixed '())
 (test-equal
  (bytecode-ok? 
   '(let-void 1 
@@ -485,4 +482,3 @@
                      (loc-noclr 0))))
  #t)
 
-(define fixed '())
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-base.rkt
index 861686bbdd..aa90068c70 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-base.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rvm/verification-base.rkt
@@ -438,13 +438,9 @@
            (with-handlers
                ([exn:fail? (λ (exc)
                              (unless
-                                 (or
-                                  (regexp-match?
-                                   #rx"^counterexample"
-                                   (exn-message exc))
-                                  (regexp-match?
-                                   #rx"domain"
-                                   (exn-message exc)))
+                                 (regexp-match?
+                                  #"counterexample|domain|clauses"
+                                  (exn-message exc))
                                (printf "exception on ~s\n~s\n" e
                                        (exn-message exc)))
                              #f)])