Class IntegerAnalysis.Builder