Path Splitting: a Technique for Improving Data Flow Analysis by Massimiliano Poletto.