Version of data flow analysis that tries to avoid some aliasing problems by forcing the join when passed from one method to other.
Version of data flow analysis that tries to avoid some aliasing problems by forcing the join when passed from one method to other.

garbervetsky/analysis-net