Class PropagationCallGraphBuilder.ArrayStoreOperator