Ignored flaky test

src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala

@@ -59,7 +59,11 @@ class PureScalaInvalidSuiteFairZ3 extends PureScalaInvalidSuite {
 
 class PureScalaInvalidSuiteCVC4 extends PureScalaInvalidSuite {
   val optionVariants = isCVC4Available.option(opts.last).toList
-  override val ignored = List("invalid/BinarySearchTreeQuant.scala", "invalid/PropositionalLogic.scala")
+  override val ignored = List(
+    "invalid/AbstractRefinementMap2.scala",
+    "invalid/BinarySearchTreeQuant.scala",
+    "invalid/PropositionalLogic.scala"
+  )
 }
 
 class PureScalaInvalidSuiteZ3 extends PureScalaInvalidSuite {