Got rid of AllocationSite and Abstraction class by introducing sourceStmt in AccessPath