Class PropagationCallGraphBuilder.ArrayLoadOperator