Fixed two bugs with DFG construction that might cause missing edges.