Trying to use DependenceAnalysis to compute memory dependences