We used the terms shown in Table 11 to detect such expressions.
as shown, there are many cases where the analyzer should not propagate due to scope, and there are also many cases where the analyzer should propagate as −.