@Override
    void iteration(CFGBuilder builder) {
      // Null keys are not tolerated
      builder.invokeFunction(1, myKeyExtractor, Nullability.NOT_NULL);
      // Actual addition of Map element is unnecessary for current analysis
      builder.flush(SpecialField.COLLECTION_SIZE.createValue(builder.getFactory(), myResult)).pop();
    }
@Override
    void iteration(CFGBuilder builder)