Improve un-proveable empty string in JIT test

Author: fluhus

Lib/test/test_capi/test_opt.py

@@ -1503,10 +1503,10 @@ def test_narrow_type_to_constant_str_empty(self):
         def f(n):
             trace = []
             for i in range(n):
-                dummy = "aaa"
                 # Hopefully the optimizer can't guess what the value is.
                 # empty is always "", but we can only prove that it's a string:
-                empty = dummy[:0]
+                false = i == TIER2_THRESHOLD
+                empty = "X"[:false]
                 trace.append("A")
                 if not empty:  # Kept.
                     trace.append("B")