Finished DataDependenceGraph. Added allocation site map to
VariableFactory.