Dag representation of basic blocks