tests/failing-symbolic.haskell-booster-dev: update failing list

tests/failing-symbolic.haskell-booster-dev

@@ -14,7 +14,6 @@ tests/specs/benchmarks/encodepacked-keccak01-spec.k
 tests/specs/benchmarks/functional-spec.k
 tests/specs/benchmarks/keccak00-spec.k
 tests/specs/benchmarks/overflow00-nooverflow-spec.k
-tests/specs/benchmarks/overflow00-overflow-spec.k
 tests/specs/benchmarks/requires01-a0gt0-spec.k
 tests/specs/benchmarks/requires01-a0le0-spec.k
 tests/specs/benchmarks/staticarray00-spec.k
@@ -92,6 +91,7 @@ tests/specs/kontrol/test-storetest-testaccesses-0-spec.k
 tests/specs/kontrol/test-storetest-teststoreload-0-spec.k
 tests/specs/mcd/cat-exhaustiveness-spec.k
 tests/specs/mcd/cat-file-addr-pass-rough-spec.k
+tests/specs/mcd/dai-adduu-fail-rough-spec.k
 tests/specs/mcd/dstoken-approve-fail-rough-spec.k
 tests/specs/mcd/dsvalue-peek-pass-rough-spec.k
 tests/specs/mcd/dsvalue-read-pass-spec.k
@@ -100,39 +100,37 @@ tests/specs/mcd/end-cash-pass-rough-spec.k
 tests/specs/mcd/end-pack-pass-rough-spec.k
 tests/specs/mcd/end-subuu-pass-spec.k
 tests/specs/mcd/flapper-yank-pass-rough-spec.k
+tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k
 tests/specs/mcd/flipper-bids-pass-rough-spec.k
 tests/specs/mcd/flipper-tau-pass-spec.k
 tests/specs/mcd/flipper-ttl-pass-spec.k
 tests/specs/mcd/flopper-cage-pass-spec.k
 tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
 tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k
-tests/specs/mcd/flopper-file-pass-rough-spec.k
 tests/specs/mcd/flopper-kick-pass-rough-spec.k
 tests/specs/mcd/flopper-tick-pass-rough-spec.k
 tests/specs/mcd/functional-spec.k
 tests/specs/mcd/pot-join-pass-rough-spec.k
-tests/specs/mcd/vow-fess-fail-rough-spec.k
-tests/specs/mcd/vow-flog-fail-rough-spec.k
 tests/specs/mcd-structured/cat-exhaustiveness-spec.k
 tests/specs/mcd-structured/cat-file-addr-pass-rough-spec.k
+tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k
 tests/specs/mcd-structured/dstoken-approve-fail-rough-spec.k
 tests/specs/mcd-structured/dsvalue-peek-pass-rough-spec.k
-tests/specs/mcd-structured/dsvalue-read-pass-spec.k
 tests/specs/mcd-structured/dsvalue-read-pass-summarize-spec.k
 tests/specs/mcd-structured/end-cash-pass-rough-spec.k
 tests/specs/mcd-structured/end-pack-pass-rough-spec.k
 tests/specs/mcd-structured/end-subuu-pass-spec.k
 tests/specs/mcd-structured/flapper-yank-pass-rough-spec.k
+tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k
 tests/specs/mcd-structured/flipper-bids-pass-rough-spec.k
-tests/specs/mcd-structured/flipper-tau-pass-spec.k
-tests/specs/mcd-structured/flipper-ttl-pass-spec.k
 tests/specs/mcd-structured/flopper-cage-pass-spec.k
 tests/specs/mcd-structured/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k
 tests/specs/mcd-structured/flopper-dent-guy-same-pass-rough-spec.k
-tests/specs/mcd-structured/flopper-file-pass-rough-spec.k
 tests/specs/mcd-structured/flopper-kick-pass-rough-spec.k
 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/vow-fess-fail-rough-spec.k
+tests/specs/mcd/vow-flog-fail-rough-spec.k