@Override public Void visit(IntBuiltin intBuiltin, Void _void) { counter = counter.max(intBuiltin.bigIntegerValue()); return null; }