@NotNull
    @Override
    public DfType fromConstant(@Nullable Object obj) {
      return obj instanceof String ? DfTypes.intValue(((String)obj).length()) : DfType.TOP;
    }
@NotNull
    @Override
    public DfType fromConstant(@Nullable Object obj)