added anchor-abstraction from callEdge