lgtm,codescanning
* Virtual dispatch in data flow has been improved to take call-context-specific type
  improvements to instance arguments into account. This improves precision for certain
  code patterns involving heavy virtual dispatch.
