This also involves dataflow and smartcasting since...

# pattern-matching

[raulraja]

This also involves dataflow and smartcasting since when you match on a pattern you add an axiom to the logical branch that goes into it that the value is typed like that and that affects smart casting of the original value.