Remove some additional code that depended on the old type propagation.

pkg/kernel/testcases/type-propagation/arithmetic.baseline.txt

Index: pkg/kernel/testcases/type-propagation/arithmetic.baseline.txt
diff --git a/pkg/kernel/testcases/type-propagation/arithmetic.baseline.txt b/pkg/kernel/testcases/type-propagation/arithmetic.baseline.txt
deleted file mode 100644
index 8a8496dd7eb62bd2f6310c756dc9386273600e07..0000000000000000000000000000000000000000
--- a/pkg/kernel/testcases/type-propagation/arithmetic.baseline.txt
+++ /dev/null
@@ -1,18 +0,0 @@
-library;
-import self as self;
-import "dart:core" as core;
-
-static method foo(core::int/core::int* {int} x, core::int/core::int* {int} y) → core::int/core::int* {int} {
-  dynamic/core::num* {int,double} z = x.+(y);
-  return z.<<(4);
-}
-static method loop(core::List<dynamic>/core::List* {other} xs) → void/Null {
-  core::int/core::int* {int} _ = xs.length;
-  for (core::int/core::num* {int,double} i = 0; i.<(xs.length); i = i.+(1)) {
-  }
-}
-static method main() → dynamic/Null {
-  self::foo(4, 5);
-  self::foo(6, 7);
-  self::loop(<dynamic>["dfg"]);
-}