DfType (DfaValue[] arguments, DfaMemoryState state) { if (arguments.length != 1) return DfType.TOP; LongRangeSet range = DfLongType.extractRange(state.getDfType(arguments[0])); return longRange(LongRangeSet.range(0, Math.max(0, range.max()))); }