Class PropagationCallGraphBuilder.InstancePutFieldOperator