more polished dataflow analysis

Summary: more polished

Test Plan: unit test

Reviewers: pad, pieter, mathieubaudet

Reviewed By: pad

Differential Revision: https://phabricator.fb.com/D936781