Class PropagationCallGraphBuilder.InstanceArrayStoreOperator