Track pattern-matching evidence for variables

[chshersh]

Stan can output some false-positive results, when it sees the inspection, but it's not there:

foo = case xs of
    [] -> 0
    _ -> head xs

We can improve analysis by tracking some evidence on pattern-matching of the variables.