prototype for dependence analysis, still not fully working