made matches complete

Author: pruemmer

src/main/scala/ap/theories/bitvectors/BitwiseOpSplitter.scala

@@ -139,6 +139,9 @@ object BitwiseOpSplitter
           Atom(_bv_and, args.drop(1), order)
         case LinearCombination.Constant(IdealInt.ONE) =>
           Atom(_bv_xor, args.drop(1), order)
+        case _ =>
+          // case we cannot handle
+          return List()
       }
 
     if (goal.facts.predConj.positiveLitsAsSet.contains(p)) {

src/main/scala/ap/theories/bitvectors/ModReducer.scala

@@ -585,6 +585,10 @@ object ModReducer {
           a
         }
       }
+
+      case _ =>
+        // case we cannot handle
+        a
     }
   }