@Override
    protected void pushInitialValue(CFGBuilder builder) {
      if ("count".equals(myCall.getMethodExpression().getReferenceName())) {
        myResultRange = DfTypes.longRange(narrowCountResult(myCall));
      } else {
        myResultRange = DfType.TOP;
      }
      PsiType type = myCall.getType();
      if (!(type instanceof PsiPrimitiveType)) {
        type = PsiPrimitiveType.getUnboxedType(type);
      }
      if (type == null) {
        // Invalid standard library or custom sum() method?
        builder.pushUnknown();
      } else {
        builder.push(DfTypes.defaultValue(type))
          .boxUnbox(myCall, type, myCall.getType());
      }
    }
@Override
    protected void pushInitialValue(CFGBuilder builder)