Class PropagationCallGraphBuilder.PutFieldOperator