A Powerful Data-Flow Graph Representation for Basic Blocks