check in memory dependence analysis