Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs