adding tests to booster-dev ignore until booster improves indetermina…

…te rule matching

tests/failing-symbolic.haskell-booster-dev

@@ -135,4 +135,8 @@ tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k
 tests/specs/mcd-structured/functional-spec.k
 tests/specs/mcd-structured/pot-join-pass-rough-spec.k
 tests/specs/mcd-structured/vow-fess-fail-rough-spec.k
-tests/specs/mcd-structured/vow-flog-fail-rough-spec.k
+tests/specs/mcd-structured/vow-flog-fail-rough-spec.k
+tests/specs/mcd/dai-adduu-fail-rough-spec.k
+tests/specs/mcd/dai-adduu-fail-rough-spec.k
+tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k
+tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k