The DAG maintains a chain of MemDGNodes that links together all the nodes that may touch memroy. Whenever a new instruction gets created we need to make sure that this chain gets updated. If the new instruction touches memory then its corresponding MemDGNode should be inserted into the chain.