Catch more errors here

src/main/scala/leon/solvers/z3/FairZ3Solver.scala

@@ -218,7 +218,7 @@ class FairZ3Solver(val context: LeonContext, val program: Program)
         solver.assertCnstr(cl)
       }
     } catch {
-      case _: SolverUnsupportedError =>
+      case _: Unsupported =>
         addError()
     }
   }