Predicate matchSubjectFlowStep

Holds when there is flow from the subject nodeFrom to the (top-level) pattern nodeTo of a match statement.

The subject of a match flows to each top-level pattern (a pattern directly under a case statement).

We could consider a model closer to use-use-flow, where the subject only flows to the first top-level pattern and from there to the following ones.