Adding computation of the memory dependences