id: 1
unit: fn convert()
file: amzn-smt-ir/src/term/convert.rs
start line: 94
end line: 210
size: 111 LOC
McCabe index: 5
number of parameters: 1

id: 2
unit: fn canonicalize_plus_inner()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 59
end line: 165
size: 103 LOC
McCabe index: 9
number of parameters: 1

id: 3
unit: fn derive_operation()
file: amzn-smt-ir-derive/src/lib.rs
start line: 69
end line: 183
size: 100 LOC
McCabe index: 8
number of parameters: 1

id: 4
unit: fn fix_repeated_string()
file: amzn-smt-string-transformer/src/string_mappings.rs
start line: 197
end line: 306
size: 94 LOC
McCabe index: 22
number of parameters: 7

id: 5
unit: fn convert_z3escapes()
file: amzn-smt-string-fct-updater/src/transpiler.rs
start line: 50
end line: 144
size: 86 LOC
McCabe index: 5
number of parameters: 1

id: 6
unit: fn fold_core_op()
file: amzn-smt-ir/src/cnf.rs
start line: 330
end line: 417
size: 85 LOC
McCabe index: 4
number of parameters: 2

id: 7
unit: fn derive_fmt_any()
file: amzn-smt-ir-derive/src/lib.rs
start line: 274
end line: 349
size: 73 LOC
McCabe index: 6
number of parameters: 2

id: 8
unit: fn reconstruct_uninterpreted_funcs()
file: amzn-smt-ir/src/ackerman.rs
start line: 62
end line: 135
size: 71 LOC
McCabe index: 4
number of parameters: 5

id: 9
unit: fn derive_fold()
file: amzn-smt-ir-derive/src/lib.rs
start line: 352
end line: 429
size: 65 LOC
McCabe index: 3
number of parameters: 1

id: 10
unit: fn sort()
file: amzn-smt-ir/src/logic/bitvecs.rs
start line: 108
end line: 172
size: 63 LOC
McCabe index: 3
number of parameters: 2

id: 11
unit: fn main()
file: amzn-smt-prediction/src/main.rs
start line: 148
end line: 232
size: 62 LOC
McCabe index: 3
number of parameters: 0

id: 12
unit: fn derive_iterate()
file: amzn-smt-ir-derive/src/lib.rs
start line: 203
end line: 270
size: 58 LOC
McCabe index: 5
number of parameters: 1

id: 13
unit: def do_runtime_prediction()
file: amzn-smt-prediction/scripts/generate_predictions.py
start line: 0
end line: 0
size: 57 LOC
McCabe index: 12
number of parameters: 2

id: 14
unit: fn fold_core_op()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 221
end line: 277
size: 56 LOC
McCabe index: 6
number of parameters: 2

id: 15
unit: fn propagate_through_relnodes()
file: amzn-smt-string-transformer/src/callgraph.rs
start line: 342
end line: 413
size: 55 LOC
McCabe index: 7
number of parameters: 5

id: 16
unit: fn propagate_used_with()
file: amzn-smt-string-transformer/src/callgraph.rs
start line: 436
end line: 504
size: 55 LOC
McCabe index: 5
number of parameters: 3

id: 17
unit: fn convert()
file: amzn-smt-string-transformer/src/main.rs
start line: 53
end line: 114
size: 55 LOC
McCabe index: 3
number of parameters: 1

id: 18
unit: fn fold_theory_op()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 94
end line: 146
size: 52 LOC
McCabe index: 5
number of parameters: 2

id: 19
unit: fn bench_parse()
file: amzn-smt-ir/benches/parsing.rs
start line: 57
end line: 107
size: 49 LOC
McCabe index: 6
number of parameters: 3

id: 20
unit: fn determine_special_case()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 65
end line: 119
size: 48 LOC
McCabe index: 8
number of parameters: 1

id: 21
unit: fn initialize_charmap_with_keep_ints()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 714
end line: 764
size: 46 LOC
McCabe index: 4
number of parameters: 3

id: 22
unit: fn add_keep_substring_prefix_suffixes()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 523
end line: 565
size: 43 LOC
McCabe index: 9
number of parameters: 1

id: 23
unit: fn encode_minus()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 427
end line: 475
size: 42 LOC
McCabe index: 5
number of parameters: 3

id: 24
unit: fn adder()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 605
end line: 646
size: 42 LOC
McCabe index: 13
number of parameters: 3

id: 25
unit: fn propagate_constraint_var_cliques()
file: amzn-smt-string-transformer/src/callgraph.rs
start line: 551
end line: 592
size: 42 LOC
McCabe index: 5
number of parameters: 1

id: 26
unit: fn process_string_fct()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 114
end line: 163
size: 42 LOC
McCabe index: 8
number of parameters: 3

id: 27
unit: fn visit_theory_op()
file: amzn-smt-prediction/src/main.rs
start line: 55
end line: 96
size: 41 LOC
McCabe index: 1
number of parameters: 2

id: 28
unit: fn construct_mapping()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 260
end line: 310
size: 40 LOC
McCabe index: 7
number of parameters: 2

id: 29
unit: fn main()
file: amzn-smt-eager-arithmetic/src/main.rs
start line: 38
end line: 83
size: 39 LOC
McCabe index: 3
number of parameters: 0

id: 30
unit: fn fold_uninterpreted_func()
file: amzn-smt-string-fct-updater/src/transpiler.rs
start line: 164
end line: 210
size: 39 LOC
McCabe index: 3
number of parameters: 2

id: 31
unit: fn derive_from()
file: amzn-smt-ir-derive/src/lib.rs
start line: 432
end line: 476
size: 38 LOC
McCabe index: 4
number of parameters: 1

id: 32
unit: fn encode_inner()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 110
end line: 147
size: 37 LOC
McCabe index: 1
number of parameters: 1

id: 33
unit: fn initialize_charmap_with_ranges()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 770
end line: 809
size: 36 LOC
McCabe index: 8
number of parameters: 3

id: 34
unit: fn get_string_subsets()
file: amzn-smt-string-transformer/src/string_mappings.rs
start line: 324
end line: 364
size: 36 LOC
McCabe index: 9
number of parameters: 2

id: 35
unit: fn derive_visit()
file: amzn-smt-ir-derive/src/lib.rs
start line: 479
end line: 521
size: 35 LOC
McCabe index: 2
number of parameters: 1

id: 36
unit: fn encode_gte()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 495
end line: 532
size: 34 LOC
McCabe index: 3
number of parameters: 3

id: 37
unit: def get_summary_table()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 34 LOC
McCabe index: 1
number of parameters: 1

id: 38
unit: fn fold_let()
file: amzn-smt-ir/src/eliminate.rs
start line: 71
end line: 107
size: 34 LOC
McCabe index: 4
number of parameters: 2

id: 39
unit: fn encode_plus_bitwise()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 352
end line: 389
size: 32 LOC
McCabe index: 1
number of parameters: 4

id: 40
unit: fn fold_assert()
file: amzn-smt-string-transformer/src/subformula_parser.rs
start line: 67
end line: 99
size: 32 LOC
McCabe index: 7
number of parameters: 2

id: 41
unit: fn inspect_parameters()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 72
end line: 104
size: 32 LOC
McCabe index: 7
number of parameters: 4

id: 42
unit: fn fold_theory_op()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 279
end line: 312
size: 31 LOC
McCabe index: 2
number of parameters: 2

id: 43
unit: def do_eager_lazy()
file: amzn-smt-prediction/scripts/generate_predictions.py
start line: 0
end line: 0
size: 30 LOC
McCabe index: 7
number of parameters: 2

id: 44
unit: fn reconstruct()
file: amzn-smt-string-transformer/src/main.rs
start line: 116
end line: 145
size: 30 LOC
McCabe index: 2
number of parameters: 1

id: 45
unit: fn var()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 305
end line: 333
size: 29 LOC
McCabe index: 3
number of parameters: 2

id: 46
unit: fn update_node_with_contribs()
file: amzn-smt-string-transformer/src/callgraph.rs
start line: 510
end line: 539
size: 29 LOC
McCabe index: 1
number of parameters: 5

id: 47
unit: fn populate_ranges()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 815
end line: 845
size: 29 LOC
McCabe index: 6
number of parameters: 1

id: 48
unit: fn super_fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 405
end line: 433
size: 29 LOC
McCabe index: 3
number of parameters: 2

id: 49
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 500
end line: 528
size: 29 LOC
McCabe index: 4
number of parameters: 2

id: 50
unit: fn normalize_constraint()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 180
end line: 208
size: 28 LOC
McCabe index: 5
number of parameters: 2

id: 51
unit: fn encode_plus()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 391
end line: 421
size: 28 LOC
McCabe index: 7
number of parameters: 3

id: 52
unit: fn propagate_along_path()
file: amzn-smt-string-transformer/src/callgraph.rs
start line: 304
end line: 339
size: 28 LOC
McCabe index: 3
number of parameters: 3

id: 53
unit: fn add_asserts_to_original_problem()
file: amzn-smt-string-transformer/src/reconstruct_tools.rs
start line: 45
end line: 78
size: 28 LOC
McCabe index: 4
number of parameters: 3

id: 54
unit: fn fold_uninterpreted_func()
file: amzn-smt-ir/src/ackerman.rs
start line: 156
end line: 183
size: 28 LOC
McCabe index: 1
number of parameters: 2

id: 55
unit: fn reconstruct()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 77
end line: 102
size: 26 LOC
McCabe index: 2
number of parameters: 4

id: 56
unit: def parse_eager_encoding_output()
file: amzn-smt-prediction/scripts/generate_predictions.py
start line: 0
end line: 0
size: 26 LOC
McCabe index: 3
number of parameters: 2

id: 57
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 329
end line: 354
size: 26 LOC
McCabe index: 4
number of parameters: 2

id: 58
unit: fn negate()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 33
end line: 57
size: 24 LOC
McCabe index: 1
number of parameters: 1

id: 59
unit: fn fold_declare_fun()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 224
end line: 249
size: 24 LOC
McCabe index: 2
number of parameters: 4

id: 60
unit: fn string_counter_csv_smtcomp()
file: amzn-smt-prediction/src/main.rs
start line: 121
end line: 142
size: 22 LOC
McCabe index: 1
number of parameters: 1

id: 61
unit: fn main()
file: amzn-smt-string-fct-updater/src/main.rs
start line: 6
end line: 31
size: 22 LOC
McCabe index: 2
number of parameters: 0

id: 62
unit: fn fmt()
file: amzn-smt-string-transformer/src/callgraph.rs
start line: 55
end line: 76
size: 22 LOC
McCabe index: 5
number of parameters: 2

id: 63
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 52
end line: 73
size: 21 LOC
McCabe index: 3
number of parameters: 2

id: 64
unit: fn canonicalization()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 320
end line: 339
size: 20 LOC
McCabe index: 1
number of parameters: 0

id: 65
unit: fn visit_constraint()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 308
end line: 327
size: 20 LOC
McCabe index: 1
number of parameters: 3

id: 66
unit: fn main()
file: amzn-smt-string-transformer/src/main.rs
start line: 147
end line: 167
size: 20 LOC
McCabe index: 1
number of parameters: 0

id: 67
unit: fn z3_parse_file()
file: amzn-smt-ir/benches/parsing.rs
start line: 22
end line: 45
size: 20 LOC
McCabe index: 1
number of parameters: 1

id: 68
unit: fn int_term()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 149
end line: 167
size: 19 LOC
McCabe index: 3
number of parameters: 1

id: 69
unit: fn zip_bits_different_width()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 680
end line: 698
size: 19 LOC
McCabe index: 1
number of parameters: 0

id: 70
unit: fn xnor()
file: amzn-smt-ir/src/cnf.rs
start line: 257
end line: 275
size: 19 LOC
McCabe index: 1
number of parameters: 2

id: 71
unit: fn unify_values()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 184
end line: 201
size: 18 LOC
McCabe index: 2
number of parameters: 2

id: 72
unit: fn encode_unsigned_gte_bitwise()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 544
end line: 561
size: 18 LOC
McCabe index: 2
number of parameters: 1

id: 73
unit: fn fold_declare_const()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 202
end line: 221
size: 18 LOC
McCabe index: 2
number of parameters: 3

id: 74
unit: fn assert_or()
file: amzn-smt-ir/src/cnf.rs
start line: 211
end line: 228
size: 18 LOC
McCabe index: 2
number of parameters: 2

id: 75
unit: fn eq()
file: amzn-smt-ir/src/cnf.rs
start line: 291
end line: 308
size: 18 LOC
McCabe index: 1
number of parameters: 2

id: 76
unit: fn convert_identifier()
file: amzn-smt-ir/src/term/convert.rs
start line: 65
end line: 82
size: 18 LOC
McCabe index: 1
number of parameters: 1

id: 77
unit: fn super_visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 272
end line: 289
size: 18 LOC
McCabe index: 1
number of parameters: 2

id: 78
unit: fn parse_indexed_fun()
file: amzn-smt-ir/src/term.rs
start line: 537
end line: 554
size: 18 LOC
McCabe index: 1
number of parameters: 0

id: 79
unit: fn encode_eq()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 477
end line: 493
size: 17 LOC
McCabe index: 2
number of parameters: 3

id: 80
unit: fn fold_declare_fun()
file: amzn-smt-string-transformer/src/subformula_parser.rs
start line: 142
end line: 161
size: 17 LOC
McCabe index: 3
number of parameters: 4

id: 81
unit: fn compute_replacement_strings()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 342
end line: 369
size: 17 LOC
McCabe index: 2
number of parameters: 4

id: 82
unit: fn purify_arg()
file: amzn-smt-ir/src/ackerman.rs
start line: 44
end line: 60
size: 17 LOC
McCabe index: 1
number of parameters: 2

id: 83
unit: fn fmt()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 147
end line: 162
size: 16 LOC
McCabe index: 2
number of parameters: 2

id: 84
unit: fn derive_operation_all()
file: amzn-smt-ir-derive/src/lib.rs
start line: 44
end line: 59
size: 16 LOC
McCabe index: 1
number of parameters: 1

id: 85
unit: def scatterplot_vals_per_test()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 3
number of parameters: 6

id: 86
unit: fn update_and_get_next_char()
file: amzn-smt-string-transformer/src/string_mappings.rs
start line: 39
end line: 54
size: 16 LOC
McCabe index: 4
number of parameters: 3

id: 87
unit: fn find_subformulae()
file: amzn-smt-string-transformer/src/main.rs
start line: 33
end line: 51
size: 16 LOC
McCabe index: 2
number of parameters: 1

id: 88
unit: fn xor()
file: amzn-smt-ir/src/cnf.rs
start line: 240
end line: 255
size: 16 LOC
McCabe index: 3
number of parameters: 2

id: 89
unit: fn iterate_core_op()
file: amzn-smt-ir/src/term.rs
start line: 425
end line: 440
size: 16 LOC
McCabe index: 1
number of parameters: 0

id: 90
unit: fn solution_size_upper_bound_bits()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 122
end line: 143
size: 15 LOC
McCabe index: 2
number of parameters: 1

id: 91
unit: fn fold_core_op()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 78
end line: 92
size: 15 LOC
McCabe index: 3
number of parameters: 2

id: 92
unit: fn bound_argument_fields()
file: amzn-smt-ir-derive/src/lib.rs
start line: 185
end line: 200
size: 15 LOC
McCabe index: 5
number of parameters: 3

id: 93
unit: def run_eager_arithmetic()
file: amzn-smt-prediction/scripts/run_eager_v_lazy.py
start line: 0
end line: 0
size: 15 LOC
McCabe index: 2
number of parameters: 2

id: 94
unit: def get_result_from_file()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 15 LOC
McCabe index: 1
number of parameters: 1

id: 95
unit: fn get_contribs_for_var()
file: amzn-smt-string-transformer/src/callgraph.rs
start line: 419
end line: 433
size: 15 LOC
McCabe index: 4
number of parameters: 2

id: 96
unit: fn is_contained_in()
file: amzn-smt-string-transformer/src/string_mappings.rs
start line: 380
end line: 399
size: 15 LOC
McCabe index: 7
number of parameters: 2

id: 97
unit: fn fmt()
file: amzn-smt-ir/src/types.rs
start line: 70
end line: 84
size: 15 LOC
McCabe index: 2
number of parameters: 2

id: 98
unit: fn super_fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 343
end line: 357
size: 15 LOC
McCabe index: 1
number of parameters: 2

id: 99
unit: fn from()
file: amzn-smt-ir/src/term/convert.rs
start line: 42
end line: 56
size: 15 LOC
McCabe index: 1
number of parameters: 1

id: 100
unit: fn basic()
file: amzn-smt-ir/src/term/convert.rs
start line: 213
end line: 227
size: 15 LOC
McCabe index: 1
number of parameters: 0

id: 101
unit: fn fmt()
file: amzn-smt-ir/src/term/args.rs
start line: 164
end line: 178
size: 15 LOC
McCabe index: 3
number of parameters: 4

id: 102
unit: fn fmt()
file: amzn-smt-ir/src/term/args.rs
start line: 210
end line: 224
size: 15 LOC
McCabe index: 3
number of parameters: 4

id: 103
unit: fn fmt()
file: amzn-smt-ir/src/term/args.rs
start line: 262
end line: 276
size: 15 LOC
McCabe index: 3
number of parameters: 4

id: 104
unit: fn constant_bits()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 241
end line: 254
size: 14 LOC
McCabe index: 1
number of parameters: 1

id: 105
unit: def do_solver_configuration()
file: amzn-smt-prediction/scripts/generate_predictions.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 9
number of parameters: 3

id: 106
unit: fn default()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 669
end line: 682
size: 14 LOC
McCabe index: 1
number of parameters: 0

id: 107
unit: fn new()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 197
end line: 209
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 108
unit: fn zip_bits()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 338
end line: 350
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 109
unit: fn zip_bits_same_width()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 665
end line: 677
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 110
unit: def get_features()
file: amzn-smt-prediction/scripts/get_word_count_features.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 6
number of parameters: 2

id: 111
unit: def scatterplot_one_list()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 2
number of parameters: 5

id: 112
unit: def get_timings()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 1
number of parameters: 1

id: 113
unit: def get_timing_for_mode()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 114
unit: fn get_all_partitions()
file: amzn-smt-string-transformer/src/callgraph.rs
start line: 162
end line: 175
size: 13 LOC
McCabe index: 4
number of parameters: 2

id: 115
unit: fn initialize_charmap()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 690
end line: 711
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 116
unit: fn gen_gap_mapped()
file: amzn-smt-string-transformer/src/string_mappings.rs
start line: 691
end line: 706
size: 13 LOC
McCabe index: 1
number of parameters: 5

id: 117
unit: fn fold_term()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 184
end line: 197
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 118
unit: fn sort()
file: amzn-smt-ir/src/logic/strings.rs
start line: 114
end line: 126
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 119
unit: fn and()
file: amzn-smt-ir/src/cnf.rs
start line: 167
end line: 179
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 120
unit: fn nand()
file: amzn-smt-ir/src/cnf.rs
start line: 188
end line: 200
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 121
unit: fn imp()
file: amzn-smt-ir/src/cnf.rs
start line: 277
end line: 289
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 122
unit: fn fold_var()
file: amzn-smt-ir/src/term/substitute.rs
start line: 34
end line: 46
size: 13 LOC
McCabe index: 3
number of parameters: 2

id: 123
unit: fn next()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 329
end line: 341
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 124
unit: fn next_back()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 347
end line: 359
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 125
unit: fn set_current_patition()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 250
end line: 261
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 126
unit: def compute_bound()
file: amzn-smt-prediction/scripts/clean_eager_lazy_data.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 127
unit: def normalize_features()
file: amzn-smt-prediction/scripts/generate_predictions.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 128
unit: fn new_var_decl_const()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 56
end line: 68
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 129
unit: fn ackermanization()
file: amzn-smt-ir/src/ackerman.rs
start line: 274
end line: 286
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 130
unit: fn fold_declare_fun()
file: amzn-smt-ir/src/fold/intra.rs
start line: 152
end line: 163
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 131
unit: fn fold_define_sort()
file: amzn-smt-ir/src/fold/intra.rs
start line: 212
end line: 223
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 132
unit: fn fold_declare_fun()
file: amzn-smt-ir/src/fold/inter.rs
start line: 108
end line: 119
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 133
unit: fn fold_define_sort()
file: amzn-smt-ir/src/fold/inter.rs
start line: 168
end line: 179
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 134
unit: fn fmt()
file: amzn-smt-ir/src/model.rs
start line: 108
end line: 119
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 135
unit: fn assert()
file: amzn-smt-ir/src/cnf.rs
start line: 154
end line: 165
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 136
unit: fn fold_declare_fun()
file: amzn-smt-ir/src/fold.rs
start line: 190
end line: 201
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 137
unit: fn fold_define_sort()
file: amzn-smt-ir/src/fold.rs
start line: 250
end line: 261
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 138
unit: fn convert_qual_identifier()
file: amzn-smt-ir/src/term/convert.rs
start line: 28
end line: 39
size: 12 LOC
McCabe index: 1
number of parameters: 1

id: 139
unit: fn visit_application()
file: amzn-smt-ir/src/term/convert.rs
start line: 301
end line: 312
size: 12 LOC
McCabe index: 1
number of parameters: 3

id: 140
unit: fn visit_parameterized_sort()
file: amzn-smt-ir/src/term/convert.rs
start line: 373
end line: 384
size: 12 LOC
McCabe index: 1
number of parameters: 3

id: 141
unit: fn visit_declare_fun()
file: amzn-smt-ir/src/term/convert.rs
start line: 531
end line: 542
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 142
unit: fn visit_define_sort()
file: amzn-smt-ir/src/term/convert.rs
start line: 575
end line: 586
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 143
unit: fn fmt()
file: amzn-smt-ir/src/term/binder.rs
start line: 79
end line: 90
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 144
unit: fn fmt()
file: amzn-smt-ir/src/term/fmt.rs
start line: 23
end line: 34
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 145
unit: fn fmt()
file: amzn-smt-ir/src/term/fmt.rs
start line: 41
end line: 52
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 146
unit: fn assert_terms_eq_after_elimination()
file: amzn-smt-ir/src/eliminate.rs
start line: 114
end line: 125
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 147
unit: fn super_visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 237
end line: 248
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 148
unit: fn canonicalize_plus()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 167
end line: 178
size: 11 LOC
McCabe index: 1
number of parameters: 1

id: 149
unit: fn variable_bits()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 275
end line: 285
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 150
unit: def get_naive_big_encoding()
file: amzn-smt-prediction/scripts/clean_eager_lazy_data.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 7
number of parameters: 1

id: 151
unit: def get_bucket_labels()
file: amzn-smt-prediction/scripts/get_word_count_features.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 152
unit: fn fold_declare_const()
file: amzn-smt-string-transformer/src/subformula_parser.rs
start line: 125
end line: 137
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 153
unit: fn fold_var()
file: amzn-smt-string-transformer/src/subformula_parser.rs
start line: 209
end line: 219
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 154
unit: fn fmt()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 128
end line: 138
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 155
unit: fn get_longest_string()
file: amzn-smt-string-transformer/src/string_mappings.rs
start line: 310
end line: 320
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 156
unit: fn sort()
file: amzn-smt-ir/src/logic/arith.rs
start line: 77
end line: 88
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 157
unit: fn fmt()
file: amzn-smt-ir/src/cnf.rs
start line: 604
end line: 614
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 158
unit: fn fmt()
file: amzn-smt-ir/src/cnf.rs
start line: 618
end line: 628
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 159
unit: fn fold_const()
file: amzn-smt-ir/src/fold.rs
start line: 142
end line: 169
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 160
unit: fn sort()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 195
end line: 204
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 161
unit: fn variant_symbol()
file: amzn-smt-ir-derive/src/lib.rs
start line: 31
end line: 40
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 162
unit: def run_cvc4()
file: amzn-smt-prediction/scripts/run_eager_v_lazy.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 163
unit: def run_z3()
file: amzn-smt-prediction/scripts/run_eager_v_lazy.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 164
unit: def get_cvc4_output()
file: amzn-smt-prediction/scripts/get_solver_output.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 165
unit: def get_map_info()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 166
unit: fn replace_args_in_term()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 328
end line: 337
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 167
unit: fn fmt()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 394
end line: 403
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 168
unit: fn fold_define_funs_rec()
file: amzn-smt-ir/src/fold/intra.rs
start line: 199
end line: 208
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 169
unit: fn fold_define_funs_rec()
file: amzn-smt-ir/src/fold/inter.rs
start line: 155
end line: 164
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 170
unit: fn fold_define_funs_rec()
file: amzn-smt-ir/src/fold.rs
start line: 237
end line: 246
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 171
unit: fn super_fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 485
end line: 494
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 172
unit: fn visit_sorted_identifier()
file: amzn-smt-ir/src/term/convert.rs
start line: 413
end line: 422
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 173
unit: fn new()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 55
end line: 63
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 174
unit: fn new_int_var()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 224
end line: 232
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 175
unit: fn encode_bvuge()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 534
end line: 542
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 176
unit: fn smt_ir_crate_path()
file: amzn-smt-ir-derive/src/lib.rs
start line: 14
end line: 22
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 177
unit: def get_feature_csv()
file: amzn-smt-prediction/scripts/clean_eager_lazy_data.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 178
unit: def get_eager_lazy_feature_string()
file: amzn-smt-prediction/scripts/generate_predictions.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 179
unit: fn default()
file: amzn-smt-string-transformer/src/callgraph.rs
start line: 39
end line: 47
size: 9 LOC
McCabe index: 1
number of parameters: 0

id: 180
unit: fn get_type()
file: amzn-smt-string-transformer/src/lib.rs
start line: 78
end line: 86
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 181
unit: fn string_fct()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 312
end line: 320
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 182
unit: fn cvc4_parse_file()
file: amzn-smt-ir/benches/parsing.rs
start line: 47
end line: 55
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 183
unit: fn fmt()
file: amzn-smt-ir/src/model.rs
start line: 123
end line: 131
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 184
unit: fn nor()
file: amzn-smt-ir/src/cnf.rs
start line: 230
end line: 238
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 185
unit: fn super_fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 534
end line: 542
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 186
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 623
end line: 631
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 187
unit: fn visit_forall()
file: amzn-smt-ir/src/term/convert.rs
start line: 322
end line: 330
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 188
unit: fn visit_exists()
file: amzn-smt-ir/src/term/convert.rs
start line: 332
end line: 340
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 189
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 77
end line: 85
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 190
unit: fn new()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 317
end line: 324
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 191
unit: fn with_stats()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 299
end line: 306
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 192
unit: fn int_var_bits()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 257
end line: 264
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 193
unit: fn bit_vec_bits()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 266
end line: 273
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 194
unit: fn fold_var()
file: amzn-smt-string-transformer/src/subformula_parser.rs
start line: 102
end line: 110
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 195
unit: fn get_prefix_suffix()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 505
end line: 518
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 196
unit: fn super_fold_with()
file: amzn-smt-ir/src/logic.rs
start line: 178
end line: 185
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 197
unit: fn try_compose()
file: amzn-smt-ir/src/fold/compose.rs
start line: 15
end line: 22
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 198
unit: fn fold_define_fun()
file: amzn-smt-ir/src/fold/intra.rs
start line: 177
end line: 184
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 199
unit: fn fold_define_fun_rec()
file: amzn-smt-ir/src/fold/intra.rs
start line: 188
end line: 195
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 200
unit: fn fold_declare_fun()
file: amzn-smt-ir/src/fold/intra.rs
start line: 297
end line: 304
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 201
unit: fn fold_define_sort()
file: amzn-smt-ir/src/fold/intra.rs
start line: 337
end line: 344
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 202
unit: fn fold_define_fun()
file: amzn-smt-ir/src/fold/inter.rs
start line: 133
end line: 140
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 203
unit: fn fold_define_fun_rec()
file: amzn-smt-ir/src/fold/inter.rs
start line: 144
end line: 151
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 204
unit: fn fold_declare_fun()
file: amzn-smt-ir/src/fold/inter.rs
start line: 256
end line: 263
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 205
unit: fn fold_define_sort()
file: amzn-smt-ir/src/fold/inter.rs
start line: 296
end line: 303
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 206
unit: fn default()
file: amzn-smt-ir/src/cnf.rs
start line: 120
end line: 127
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 207
unit: fn var()
file: amzn-smt-ir/src/cnf.rs
start line: 139
end line: 146
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 208
unit: fn or()
file: amzn-smt-ir/src/cnf.rs
start line: 202
end line: 209
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 209
unit: fn cmp()
file: amzn-smt-ir/src/types.rs
start line: 286
end line: 293
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 210
unit: fn fold_define_fun()
file: amzn-smt-ir/src/fold.rs
start line: 215
end line: 222
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 211
unit: fn fold_define_fun_rec()
file: amzn-smt-ir/src/fold.rs
start line: 226
end line: 233
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 212
unit: fn visit_attributes()
file: amzn-smt-ir/src/term/convert.rs
start line: 350
end line: 358
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 213
unit: fn visit_simple_identifier()
file: amzn-smt-ir/src/term/convert.rs
start line: 404
end line: 411
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 214
unit: fn parse()
file: amzn-smt-ir/src/term/quantifier.rs
start line: 10
end line: 19
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 215
unit: fn inner_bindings()
file: amzn-smt-ir/src/term/substitute.rs
start line: 64
end line: 72
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 216
unit: fn super_visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 318
end line: 325
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 217
unit: fn into_terms()
file: amzn-smt-ir/src/term.rs
start line: 167
end line: 174
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 218
unit: fn bench_solve()
file: amzn-smt-eager-arithmetic/benches/presburger_encoding.rs
start line: 12
end line: 18
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 219
unit: fn fmt()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 237
end line: 243
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 220
unit: fn fold_var()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 70
end line: 76
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 221
unit: fn string_counter_csv_header()
file: amzn-smt-prediction/src/main.rs
start line: 101
end line: 107
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 222
unit: fn string_counter_csv_all()
file: amzn-smt-prediction/src/main.rs
start line: 110
end line: 116
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 223
unit: def get_z3_output()
file: amzn-smt-prediction/scripts/get_solver_output.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 224
unit: fn fold_term()
file: amzn-smt-string-transformer/src/subformula_parser.rs
start line: 114
end line: 121
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 225
unit: fn string_consts_affected()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 196
end line: 203
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 226
unit: fn new()
file: amzn-smt-ir/src/ackerman.rs
start line: 36
end line: 42
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 227
unit: fn context_mut()
file: amzn-smt-ir/src/fold/intra.rs
start line: 65
end line: 71
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 228
unit: fn fold_declare_const()
file: amzn-smt-ir/src/fold/intra.rs
start line: 142
end line: 148
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 229
unit: fn fold_declare_sort()
file: amzn-smt-ir/src/fold/intra.rs
start line: 167
end line: 173
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 230
unit: fn fold_declare_const()
file: amzn-smt-ir/src/fold/intra.rs
start line: 289
end line: 295
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 231
unit: fn fold_declare_sort()
file: amzn-smt-ir/src/fold/intra.rs
start line: 306
end line: 312
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 232
unit: fn fold_define_fun()
file: amzn-smt-ir/src/fold/intra.rs
start line: 314
end line: 320
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 233
unit: fn fold_define_fun_rec()
file: amzn-smt-ir/src/fold/intra.rs
start line: 322
end line: 328
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 234
unit: fn context_mut()
file: amzn-smt-ir/src/fold/inter.rs
start line: 33
end line: 39
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 235
unit: fn fold_declare_const()
file: amzn-smt-ir/src/fold/inter.rs
start line: 98
end line: 104
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 236
unit: fn fold_declare_sort()
file: amzn-smt-ir/src/fold/inter.rs
start line: 123
end line: 129
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 237
unit: fn fold_get_value()
file: amzn-smt-ir/src/fold/inter.rs
start line: 183
end line: 189
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 238
unit: fn fold_declare_const()
file: amzn-smt-ir/src/fold/inter.rs
start line: 248
end line: 254
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 239
unit: fn fold_declare_sort()
file: amzn-smt-ir/src/fold/inter.rs
start line: 265
end line: 271
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 240
unit: fn fold_define_fun()
file: amzn-smt-ir/src/fold/inter.rs
start line: 273
end line: 279
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 241
unit: fn fold_define_fun_rec()
file: amzn-smt-ir/src/fold/inter.rs
start line: 281
end line: 287
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 242
unit: fn and()
file: amzn-smt-ir/src/cnf.rs
start line: 467
end line: 473
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 243
unit: fn super_fold_with()
file: amzn-smt-ir/src/types.rs
start line: 341
end line: 347
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 244
unit: fn context_mut()
file: amzn-smt-ir/src/fold.rs
start line: 127
end line: 133
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 245
unit: fn fold_declare_const()
file: amzn-smt-ir/src/fold.rs
start line: 180
end line: 186
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 246
unit: fn fold_declare_sort()
file: amzn-smt-ir/src/fold.rs
start line: 205
end line: 211
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 247
unit: fn fold_get_value()
file: amzn-smt-ir/src/fold.rs
start line: 265
end line: 271
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 248
unit: fn super_fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 461
end line: 467
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 249
unit: fn visit_let()
file: amzn-smt-ir/src/term/convert.rs
start line: 314
end line: 320
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 250
unit: fn visit_match()
file: amzn-smt-ir/src/term/convert.rs
start line: 342
end line: 348
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 251
unit: fn visit_simple_sort()
file: amzn-smt-ir/src/term/convert.rs
start line: 365
end line: 371
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 252
unit: fn visit_fresh_symbol()
file: amzn-smt-ir/src/term/convert.rs
start line: 391
end line: 397
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 253
unit: fn visit_declare_const()
file: amzn-smt-ir/src/term/convert.rs
start line: 508
end line: 514
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 254
unit: fn visit_declare_datatype()
file: amzn-smt-ir/src/term/convert.rs
start line: 516
end line: 522
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 255
unit: fn visit_declare_sort()
file: amzn-smt-ir/src/term/convert.rs
start line: 544
end line: 550
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 256
unit: fn visit_define_fun()
file: amzn-smt-ir/src/term/convert.rs
start line: 552
end line: 558
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 257
unit: fn visit_define_fun_rec()
file: amzn-smt-ir/src/term/convert.rs
start line: 560
end line: 566
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 258
unit: fn visit_set_info()
file: amzn-smt-ir/src/term/convert.rs
start line: 648
end line: 654
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 259
unit: fn visit_set_option()
file: amzn-smt-ir/src/term/convert.rs
start line: 660
end line: 666
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 260
unit: fn parse()
file: amzn-smt-ir/src/term/binder.rs
start line: 44
end line: 50
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 261
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 27
end line: 34
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 262
unit: fn fmt()
file: amzn-smt-ir/src/term/args.rs
start line: 51
end line: 58
size: 7 LOC
McCabe index: 2
number of parameters: 4

id: 263
unit: fn from_iter>>()
file: amzn-smt-ir/src/term/args.rs
start line: 59
end line: 65
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 264
unit: fn fmt()
file: amzn-smt-ir/src/term/args.rs
start line: 76
end line: 82
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 265
unit: fn from_iter>>()
file: amzn-smt-ir/src/term/args.rs
start line: 86
end line: 92
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 266
unit: fn fmt()
file: amzn-smt-ir/src/term/args.rs
start line: 103
end line: 109
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 267
unit: fn fmt()
file: amzn-smt-ir/src/term/args.rs
start line: 138
end line: 144
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 268
unit: fn fold_var()
file: amzn-smt-ir/src/eliminate.rs
start line: 63
end line: 69
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 269
unit: fn context_mut()
file: amzn-smt-ir/src/visit.rs
start line: 111
end line: 117
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 270
unit: fn terms()
file: amzn-smt-ir/src/term.rs
start line: 159
end line: 165
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 271
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 281
end line: 287
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 272
unit: fn try_from()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 225
end line: 230
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 273
unit: fn from()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 274
end line: 279
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 274
unit: fn numeral_bits()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 364
end line: 369
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 275
unit: fn fold_uninterpreted_func()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 148
end line: 153
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 276
unit: fn fold_quantifier()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 155
end line: 160
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 277
unit: fn constant_bits()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 657
end line: 662
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 278
unit: fn index_array()
file: amzn-smt-ir-derive/src/lib.rs
start line: 61
end line: 66
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 279
unit: fn fold_const()
file: amzn-smt-string-fct-updater/src/transpiler.rs
start line: 149
end line: 154
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 280
unit: fn fold_var()
file: amzn-smt-string-fct-updater/src/transpiler.rs
start line: 156
end line: 161
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 281
unit: fn fold_term()
file: amzn-smt-string-transformer/src/subformula_parser.rs
start line: 202
end line: 207
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 282
unit: fn fold_const()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 319
end line: 324
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 283
unit: fn fold_var()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 254
end line: 259
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 284
unit: fn fold_const()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 263
end line: 268
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 285
unit: fn fold_term()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 294
end line: 299
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 286
unit: fn sort()
file: amzn-smt-ir/src/logic/arith.rs
start line: 32
end line: 37
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 287
unit: fn fold_quantifier()
file: amzn-smt-ir/src/ackerman.rs
start line: 197
end line: 202
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 288
unit: fn fold, Output, M>()
file: amzn-smt-ir/src/logic.rs
start line: 105
end line: 110
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 289
unit: fn fold_const()
file: amzn-smt-ir/src/fold/compose.rs
start line: 75
end line: 80
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 290
unit: fn fold_var()
file: amzn-smt-ir/src/fold/compose.rs
start line: 82
end line: 87
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 291
unit: fn fold_uninterpreted_func()
file: amzn-smt-ir/src/fold/compose.rs
start line: 99
end line: 104
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 292
unit: fn fold_define_funs_rec()
file: amzn-smt-ir/src/fold/intra.rs
start line: 330
end line: 335
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 293
unit: fn fold_get_value()
file: amzn-smt-ir/src/fold/intra.rs
start line: 346
end line: 351
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 294
unit: fn fold_define_funs_rec()
file: amzn-smt-ir/src/fold/inter.rs
start line: 289
end line: 294
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 295
unit: fn fold_get_value()
file: amzn-smt-ir/src/fold/inter.rs
start line: 305
end line: 310
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 296
unit: fn not()
file: amzn-smt-ir/src/cnf.rs
start line: 88
end line: 93
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 297
unit: fn assert_and()
file: amzn-smt-ir/src/cnf.rs
start line: 181
end line: 186
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 298
unit: fn fold_assert()
file: amzn-smt-ir/src/cnf.rs
start line: 315
end line: 320
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 299
unit: fn fmt()
file: amzn-smt-ir/src/types.rs
start line: 92
end line: 97
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 300
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 322
end line: 327
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 301
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 332
end line: 337
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 302
unit: fn super_fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 363
end line: 368
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 303
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 373
end line: 378
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 304
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 383
end line: 388
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 305
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 394
end line: 399
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 306
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 438
end line: 443
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 307
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 448
end line: 453
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 308
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 472
end line: 477
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 309
unit: fn super_fold_with, M>()
file: amzn-smt-ir/src/fold.rs
start line: 554
end line: 559
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 310
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 564
end line: 569
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 311
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 574
end line: 579
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 312
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 584
end line: 589
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 313
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 598
end line: 603
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 314
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 613
end line: 618
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 315
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 636
end line: 641
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 316
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 649
end line: 654
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 317
unit: fn visit_numeral_constant()
file: amzn-smt-ir/src/term/convert.rs
start line: 429
end line: 434
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 318
unit: fn visit_decimal_constant()
file: amzn-smt-ir/src/term/convert.rs
start line: 436
end line: 441
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 319
unit: fn visit_hexadecimal_constant()
file: amzn-smt-ir/src/term/convert.rs
start line: 443
end line: 448
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 320
unit: fn visit_check_sat_assuming()
file: amzn-smt-ir/src/term/convert.rs
start line: 501
end line: 506
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 321
unit: fn visit_declare_datatypes()
file: amzn-smt-ir/src/term/convert.rs
start line: 524
end line: 529
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 322
unit: fn visit_define_funs_rec()
file: amzn-smt-ir/src/term/convert.rs
start line: 568
end line: 573
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 323
unit: fn fold_with()
file: amzn-smt-ir/src/term/binder.rs
start line: 56
end line: 61
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 324
unit: fn super_fold_with()
file: amzn-smt-ir/src/term/binder.rs
start line: 70
end line: 75
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 325
unit: fn new()
file: amzn-smt-ir/src/term/substitute.rs
start line: 15
end line: 20
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 326
unit: fn simultaneous_bindings()
file: amzn-smt-ir/src/eliminate.rs
start line: 138
end line: 143
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 327
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 473
end line: 478
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 328
unit: fn clone()
file: amzn-smt-ir/src/term.rs
start line: 217
end line: 222
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 329
unit: fn advance_next_bool_var()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 211
end line: 215
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 330
unit: fn int_const_bits()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 235
end line: 239
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 331
unit: def get_SAT_results()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 332
unit: def get_size()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 333
unit: def get_filesizes()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 334
unit: fn fmt()
file: amzn-smt-ir/src/logic.rs
start line: 127
end line: 131
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 335
unit: fn fmt()
file: amzn-smt-ir/src/logic.rs
start line: 138
end line: 142
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 336
unit: fn func()
file: amzn-smt-ir/src/logic.rs
start line: 154
end line: 158
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 337
unit: fn super_visit_with>()
file: amzn-smt-ir/src/logic.rs
start line: 165
end line: 169
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 338
unit: fn sort()
file: amzn-smt-ir/src/logic.rs
start line: 192
end line: 196
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 339
unit: fn terms()
file: amzn-smt-ir/src/logic.rs
start line: 207
end line: 211
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 340
unit: fn into_terms()
file: amzn-smt-ir/src/logic.rs
start line: 212
end line: 216
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 341
unit: fn fold_theory_op()
file: amzn-smt-ir/src/fold/inter.rs
start line: 62
end line: 71
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 342
unit: fn fold_quantifier()
file: amzn-smt-ir/src/fold/inter.rs
start line: 80
end line: 87
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 343
unit: fn from_iter>>>()
file: amzn-smt-ir/src/model.rs
start line: 27
end line: 31
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 344
unit: fn gen_var()
file: amzn-smt-ir/src/cnf.rs
start line: 148
end line: 152
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 345
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 502
end line: 506
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 346
unit: fn fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 301
end line: 310
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 347
unit: fn super_fold_with()
file: amzn-smt-ir/src/fold.rs
start line: 315
end line: 320
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 348
unit: fn visit_qual_identifier()
file: amzn-smt-ir/src/term/convert.rs
start line: 295
end line: 299
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 349
unit: fn parse()
file: amzn-smt-ir/src/term/uf.rs
start line: 11
end line: 19
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 350
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 14
end line: 20
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 351
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 44
end line: 48
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 352
unit: fn parse()
file: amzn-smt-ir/src/term/operation.rs
start line: 64
end line: 71
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 353
unit: fn super_visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 358
end line: 362
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 354
unit: fn from_str()
file: amzn-smt-ir/src/term.rs
start line: 403
end line: 407
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 355
unit: fn rendering()
file: amzn-smt-ir/src/term.rs
start line: 411
end line: 415
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 356
unit: fn parse_true_false()
file: amzn-smt-ir/src/term.rs
start line: 418
end line: 422
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 357
unit: fn fold_impls()
file: amzn-smt-ir/src/term.rs
start line: 495
end line: 499
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 358
unit: fn super_fold_impls()
file: amzn-smt-ir/src/term.rs
start line: 502
end line: 506
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 359
unit: fn visit_impls()
file: amzn-smt-ir/src/term.rs
start line: 509
end line: 513
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 360
unit: fn super_visit_impls()
file: amzn-smt-ir/src/term.rs
start line: 516
end line: 520
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 361
unit: fn next()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 293
end line: 296
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 362
unit: fn next_back()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 302
end line: 305
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 363
unit: fn current_partition_stats()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 263
end line: 266
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 364
unit: def write_word_counts()
file: amzn-smt-prediction/scripts/get_word_counts.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 365
unit: fn fold_set_logic()
file: amzn-smt-string-fct-updater/src/transpiler.rs
start line: 212
end line: 215
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 366
unit: def get_seconds()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 367
unit: def printDFToFile()
file: amzn-smt-string-transformer/data_processing.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 368
unit: fn parse()
file: amzn-smt-ir/src/logic.rs
start line: 149
end line: 152
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 369
unit: fn fold_core_op()
file: amzn-smt-ir/src/fold/compose.rs
start line: 89
end line: 92
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 370
unit: fn fold_theory_op()
file: amzn-smt-ir/src/fold/compose.rs
start line: 94
end line: 97
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 371
unit: fn fold_let()
file: amzn-smt-ir/src/fold/compose.rs
start line: 106
end line: 109
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 372
unit: fn fold_match()
file: amzn-smt-ir/src/fold/compose.rs
start line: 111
end line: 114
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 373
unit: fn fold_quantifier()
file: amzn-smt-ir/src/fold/compose.rs
start line: 116
end line: 119
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 374
unit: fn fold_assert()
file: amzn-smt-ir/src/fold/intra.rs
start line: 135
end line: 138
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 375
unit: fn fold_get_value()
file: amzn-smt-ir/src/fold/intra.rs
start line: 227
end line: 230
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 376
unit: fn fold_var()
file: amzn-smt-ir/src/fold/inter.rs
start line: 53
end line: 59
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 377
unit: fn fold_assert()
file: amzn-smt-ir/src/fold/inter.rs
start line: 91
end line: 94
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 378
unit: fn inc()
file: amzn-smt-ir/src/cnf.rs
start line: 134
end line: 137
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 379
unit: fn fold_let()
file: amzn-smt-ir/src/cnf.rs
start line: 423
end line: 426
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 380
unit: fn fmt()
file: amzn-smt-ir/src/cnf.rs
start line: 597
end line: 600
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 381
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 534
end line: 537
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 382
unit: fn fold_assert()
file: amzn-smt-ir/src/fold.rs
start line: 173
end line: 176
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 383
unit: fn terms()
file: amzn-smt-ir/src/term/args.rs
start line: 29
end line: 33
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 384
unit: fn super_visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 305
end line: 308
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 385
unit: fn context()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 214
end line: 216
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 386
unit: fn context_mut()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 217
end line: 219
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 387
unit: fn fold_let()
file: amzn-smt-eager-arithmetic/src/canonicalize.rs
start line: 314
end line: 316
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 388
unit: fn fmt()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 173
end line: 175
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 389
unit: fn sort()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 179
end line: 181
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 390
unit: fn from()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 247
end line: 249
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 391
unit: fn from()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 253
end line: 255
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 392
unit: fn from()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 283
end line: 285
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 393
unit: fn size_hint()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 297
end line: 299
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 394
unit: fn size_hint()
file: amzn-smt-eager-arithmetic/src/lib.rs
start line: 342
end line: 344
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 395
unit: fn default()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 396
unit: fn deref()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 170
end line: 172
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 397
unit: fn from()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 176
end line: 178
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 398
unit: fn index()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 209
end line: 211
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 399
unit: fn from_index()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 212
end line: 214
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 400
unit: fn tag()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 215
end line: 217
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 401
unit: fn invalid()
file: amzn-smt-eager-arithmetic/src/stats.rs
start line: 294
end line: 296
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 402
unit: fn context()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 62
end line: 64
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 403
unit: fn context_mut()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 66
end line: 68
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 404
unit: fn encode_neg()
file: amzn-smt-eager-arithmetic/src/encoding.rs
start line: 423
end line: 425
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 405
unit: fn has_core_op_attr()
file: amzn-smt-ir-derive/src/lib.rs
start line: 25
end line: 27
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 406
unit: fn string_counter_csv_kepler()
file: amzn-smt-prediction/src/main.rs
start line: 144
end line: 146
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 407
unit: def get_prediction()
file: amzn-smt-prediction/scripts/generate_predictions.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 408
unit: fn default()
file: amzn-smt-string-transformer/src/transpiler.rs
start line: 143
end line: 145
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 409
unit: fn get_type()
file: amzn-smt-string-transformer/src/lib.rs
start line: 72
end line: 76
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 410
unit: fn string_fct()
file: amzn-smt-string-transformer/src/transpiler_visitors.rs
start line: 308
end line: 310
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 411
unit: fn sort()
file: amzn-smt-ir/src/logic/arrays.rs
start line: 18
end line: 20
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 412
unit: fn context()
file: amzn-smt-ir/src/ackerman.rs
start line: 148
end line: 150
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 413
unit: fn context_mut()
file: amzn-smt-ir/src/ackerman.rs
start line: 152
end line: 154
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 414
unit: fn fold_var()
file: amzn-smt-ir/src/ackerman.rs
start line: 185
end line: 187
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 415
unit: fn fold_theory_op()
file: amzn-smt-ir/src/ackerman.rs
start line: 189
end line: 191
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 416
unit: fn fold_let()
file: amzn-smt-ir/src/ackerman.rs
start line: 193
end line: 195
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 417
unit: fn from()
file: amzn-smt-ir/src/logic.rs
start line: 222
end line: 224
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 418
unit: fn from()
file: amzn-smt-ir/src/logic.rs
start line: 228
end line: 230
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 419
unit: fn from()
file: amzn-smt-ir/src/logic.rs
start line: 235
end line: 237
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 420
unit: fn compose()
file: amzn-smt-ir/src/fold/compose.rs
start line: 11
end line: 13
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 421
unit: fn context()
file: amzn-smt-ir/src/fold/intra.rs
start line: 57
end line: 59
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 422
unit: fn fold_term()
file: amzn-smt-ir/src/fold/intra.rs
start line: 75
end line: 77
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 423
unit: fn fold_const()
file: amzn-smt-ir/src/fold/intra.rs
start line: 81
end line: 83
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 424
unit: fn fold_var()
file: amzn-smt-ir/src/fold/intra.rs
start line: 87
end line: 89
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 425
unit: fn fold_core_op()
file: amzn-smt-ir/src/fold/intra.rs
start line: 93
end line: 95
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 426
unit: fn fold_theory_op()
file: amzn-smt-ir/src/fold/intra.rs
start line: 99
end line: 101
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 427
unit: fn fold_uninterpreted_func()
file: amzn-smt-ir/src/fold/intra.rs
start line: 105
end line: 107
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 428
unit: fn fold_let()
file: amzn-smt-ir/src/fold/intra.rs
start line: 111
end line: 113
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 429
unit: fn fold_match()
file: amzn-smt-ir/src/fold/intra.rs
start line: 117
end line: 119
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 430
unit: fn fold_quantifier()
file: amzn-smt-ir/src/fold/intra.rs
start line: 123
end line: 125
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 431
unit: fn fold_set_logic()
file: amzn-smt-ir/src/fold/intra.rs
start line: 129
end line: 131
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 432
unit: fn context()
file: amzn-smt-ir/src/fold/intra.rs
start line: 237
end line: 239
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 433
unit: fn context_mut()
file: amzn-smt-ir/src/fold/intra.rs
start line: 241
end line: 243
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 434
unit: fn fold_term()
file: amzn-smt-ir/src/fold/intra.rs
start line: 245
end line: 247
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 435
unit: fn fold_const()
file: amzn-smt-ir/src/fold/intra.rs
start line: 249
end line: 251
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 436
unit: fn fold_var()
file: amzn-smt-ir/src/fold/intra.rs
start line: 253
end line: 255
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 437
unit: fn fold_core_op()
file: amzn-smt-ir/src/fold/intra.rs
start line: 257
end line: 259
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 438
unit: fn fold_theory_op()
file: amzn-smt-ir/src/fold/intra.rs
start line: 261
end line: 263
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 439
unit: fn fold_uninterpreted_func()
file: amzn-smt-ir/src/fold/intra.rs
start line: 265
end line: 267
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 440
unit: fn fold_let()
file: amzn-smt-ir/src/fold/intra.rs
start line: 269
end line: 271
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 441
unit: fn fold_match()
file: amzn-smt-ir/src/fold/intra.rs
start line: 273
end line: 275
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 442
unit: fn fold_quantifier()
file: amzn-smt-ir/src/fold/intra.rs
start line: 277
end line: 279
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 443
unit: fn fold_set_logic()
file: amzn-smt-ir/src/fold/intra.rs
start line: 281
end line: 283
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 444
unit: fn fold_assert()
file: amzn-smt-ir/src/fold/intra.rs
start line: 285
end line: 287
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 445
unit: fn context()
file: amzn-smt-ir/src/fold/inter.rs
start line: 25
end line: 27
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 446
unit: fn fold_term()
file: amzn-smt-ir/src/fold/inter.rs
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 447
unit: fn fold_const()
file: amzn-smt-ir/src/fold/inter.rs
start line: 48
end line: 50
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 448
unit: fn fold_match()
file: amzn-smt-ir/src/fold/inter.rs
start line: 75
end line: 77
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 449
unit: fn context()
file: amzn-smt-ir/src/fold/inter.rs
start line: 196
end line: 198
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 450
unit: fn context_mut()
file: amzn-smt-ir/src/fold/inter.rs
start line: 200
end line: 202
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 451
unit: fn fold_term()
file: amzn-smt-ir/src/fold/inter.rs
start line: 204
end line: 206
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 452
unit: fn fold_const()
file: amzn-smt-ir/src/fold/inter.rs
start line: 208
end line: 210
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 453
unit: fn fold_var()
file: amzn-smt-ir/src/fold/inter.rs
start line: 212
end line: 214
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 454
unit: fn fold_core_op()
file: amzn-smt-ir/src/fold/inter.rs
start line: 216
end line: 218
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 455
unit: fn fold_theory_op()
file: amzn-smt-ir/src/fold/inter.rs
start line: 220
end line: 222
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 456
unit: fn fold_uninterpreted_func()
file: amzn-smt-ir/src/fold/inter.rs
start line: 224
end line: 226
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 457
unit: fn fold_let()
file: amzn-smt-ir/src/fold/inter.rs
start line: 228
end line: 230
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 458
unit: fn fold_match()
file: amzn-smt-ir/src/fold/inter.rs
start line: 232
end line: 234
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 459
unit: fn fold_quantifier()
file: amzn-smt-ir/src/fold/inter.rs
start line: 236
end line: 238
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 460
unit: fn fold_set_logic()
file: amzn-smt-ir/src/fold/inter.rs
start line: 240
end line: 242
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 461
unit: fn fold_assert()
file: amzn-smt-ir/src/fold/inter.rs
start line: 244
end line: 246
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 462
unit: fn is_solver_internal()
file: amzn-smt-ir/src/model.rs
start line: 16
end line: 18
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 463
unit: fn default()
file: amzn-smt-ir/src/model.rs
start line: 35
end line: 37
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 464
unit: fn fmt()
file: amzn-smt-ir/src/cnf.rs
start line: 24
end line: 26
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 465
unit: fn sort()
file: amzn-smt-ir/src/cnf.rs
start line: 30
end line: 32
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 466
unit: fn new()
file: amzn-smt-ir/src/cnf.rs
start line: 97
end line: 99
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 467
unit: fn t()
file: amzn-smt-ir/src/cnf.rs
start line: 101
end line: 103
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 468
unit: fn f()
file: amzn-smt-ir/src/cnf.rs
start line: 105
end line: 107
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 469
unit: fn fold_const()
file: amzn-smt-ir/src/cnf.rs
start line: 322
end line: 324
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 470
unit: fn fold_var()
file: amzn-smt-ir/src/cnf.rs
start line: 326
end line: 328
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 471
unit: fn fold_theory_op()
file: amzn-smt-ir/src/cnf.rs
start line: 419
end line: 421
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 472
unit: fn fold_match()
file: amzn-smt-ir/src/cnf.rs
start line: 428
end line: 430
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 473
unit: fn fold_quantifier()
file: amzn-smt-ir/src/cnf.rs
start line: 432
end line: 434
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 474
unit: fn fold_uninterpreted_func()
file: amzn-smt-ir/src/cnf.rs
start line: 436
end line: 438
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 475
unit: fn singleton()
file: amzn-smt-ir/src/cnf.rs
start line: 459
end line: 461
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 476
unit: fn push()
file: amzn-smt-ir/src/cnf.rs
start line: 463
end line: 465
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 477
unit: fn into_index()
file: amzn-smt-ir/src/types.rs
start line: 254
end line: 257
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 478
unit: fn into_index()
file: amzn-smt-ir/src/types.rs
start line: 258
end line: 260
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 479
unit: fn into_index()
file: amzn-smt-ir/src/types.rs
start line: 264
end line: 266
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 480
unit: fn partial_cmp()
file: amzn-smt-ir/src/types.rs
start line: 280
end line: 282
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 481
unit: fn super_visit_with>()
file: amzn-smt-ir/src/types.rs
start line: 317
end line: 319
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 482
unit: fn deref()
file: amzn-smt-ir/src/types.rs
start line: 352
end line: 354
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 483
unit: fn as_ref()
file: amzn-smt-ir/src/types.rs
start line: 358
end line: 360
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 484
unit: fn clone()
file: amzn-smt-ir/src/types.rs
start line: 364
end line: 366
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 485
unit: fn fmt()
file: amzn-smt-ir/src/types.rs
start line: 370
end line: 372
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 486
unit: fn fmt()
file: amzn-smt-ir/src/types.rs
start line: 376
end line: 378
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 487
unit: fn hash()
file: amzn-smt-ir/src/types.rs
start line: 382
end line: 384
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 488
unit: fn eq()
file: amzn-smt-ir/src/types.rs
start line: 388
end line: 390
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 489
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 399
end line: 401
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 490
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 412
end line: 414
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 491
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 428
end line: 430
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 492
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 478
end line: 480
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 493
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 484
end line: 486
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 494
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 490
end line: 492
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 495
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 496
end line: 498
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 496
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 510
end line: 512
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 497
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 516
end line: 518
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 498
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 522
end line: 524
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 499
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 528
end line: 530
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 500
unit: fn partial_cmp()
file: amzn-smt-ir/src/types.rs
start line: 541
end line: 543
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 501
unit: fn cmp()
file: amzn-smt-ir/src/types.rs
start line: 547
end line: 549
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 502
unit: fn from()
file: amzn-smt-ir/src/types.rs
start line: 556
end line: 558
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 503
unit: fn borrow()
file: amzn-smt-ir/src/types.rs
start line: 562
end line: 564
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 504
unit: fn context()
file: amzn-smt-ir/src/fold.rs
start line: 119
end line: 121
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 505
unit: fn fold_term()
file: amzn-smt-ir/src/fold.rs
start line: 137
end line: 139
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 506
unit: fn fold_with, M>()
file: amzn-smt-ir/src/fold.rs
start line: 547
end line: 549
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 507
unit: fn from()
file: amzn-smt-ir/src/term/convert.rs
start line: 60
end line: 62
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 508
unit: fn try_from()
file: amzn-smt-ir/src/term/convert.rs
start line: 238
end line: 240
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 509
unit: fn from()
file: amzn-smt-ir/src/term/convert.rs
start line: 244
end line: 246
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 510
unit: fn from()
file: amzn-smt-ir/src/term/convert.rs
start line: 250
end line: 252
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 511
unit: fn from()
file: amzn-smt-ir/src/term/convert.rs
start line: 256
end line: 258
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 512
unit: fn from()
file: amzn-smt-ir/src/term/convert.rs
start line: 262
end line: 264
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 513
unit: fn from()
file: amzn-smt-ir/src/term/convert.rs
start line: 268
end line: 270
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 514
unit: fn visit_constant()
file: amzn-smt-ir/src/term/convert.rs
start line: 291
end line: 293
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 515
unit: fn visit_binary_constant()
file: amzn-smt-ir/src/term/convert.rs
start line: 450
end line: 452
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 516
unit: fn visit_string_constant()
file: amzn-smt-ir/src/term/convert.rs
start line: 454
end line: 456
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 517
unit: fn visit_keyword()
file: amzn-smt-ir/src/term/convert.rs
start line: 463
end line: 465
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 518
unit: fn visit_constant_s_expr()
file: amzn-smt-ir/src/term/convert.rs
start line: 472
end line: 474
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 519
unit: fn visit_symbol_s_expr()
file: amzn-smt-ir/src/term/convert.rs
start line: 476
end line: 478
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 520
unit: fn visit_keyword_s_expr()
file: amzn-smt-ir/src/term/convert.rs
start line: 480
end line: 482
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 521
unit: fn visit_application_s_expr()
file: amzn-smt-ir/src/term/convert.rs
start line: 484
end line: 486
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 522
unit: fn visit_assert()
file: amzn-smt-ir/src/term/convert.rs
start line: 493
end line: 495
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 523
unit: fn visit_check_sat()
file: amzn-smt-ir/src/term/convert.rs
start line: 497
end line: 499
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 524
unit: fn visit_echo()
file: amzn-smt-ir/src/term/convert.rs
start line: 588
end line: 590
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 525
unit: fn visit_exit()
file: amzn-smt-ir/src/term/convert.rs
start line: 592
end line: 594
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 526
unit: fn visit_get_assertions()
file: amzn-smt-ir/src/term/convert.rs
start line: 596
end line: 598
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 527
unit: fn visit_get_assignment()
file: amzn-smt-ir/src/term/convert.rs
start line: 600
end line: 602
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 528
unit: fn visit_get_info()
file: amzn-smt-ir/src/term/convert.rs
start line: 604
end line: 606
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 529
unit: fn visit_get_model()
file: amzn-smt-ir/src/term/convert.rs
start line: 608
end line: 610
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 530
unit: fn visit_get_option()
file: amzn-smt-ir/src/term/convert.rs
start line: 612
end line: 614
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 531
unit: fn visit_get_proof()
file: amzn-smt-ir/src/term/convert.rs
start line: 616
end line: 618
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 532
unit: fn visit_get_unsat_assumptions()
file: amzn-smt-ir/src/term/convert.rs
start line: 620
end line: 622
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 533
unit: fn visit_get_unsat_core()
file: amzn-smt-ir/src/term/convert.rs
start line: 624
end line: 626
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 534
unit: fn visit_get_value()
file: amzn-smt-ir/src/term/convert.rs
start line: 628
end line: 630
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 535
unit: fn visit_pop()
file: amzn-smt-ir/src/term/convert.rs
start line: 632
end line: 634
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 536
unit: fn visit_push()
file: amzn-smt-ir/src/term/convert.rs
start line: 636
end line: 638
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 537
unit: fn visit_reset()
file: amzn-smt-ir/src/term/convert.rs
start line: 640
end line: 642
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 538
unit: fn visit_reset_assertions()
file: amzn-smt-ir/src/term/convert.rs
start line: 644
end line: 646
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 539
unit: fn visit_set_logic()
file: amzn-smt-ir/src/term/convert.rs
start line: 656
end line: 658
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 540
unit: fn syntax_error()
file: amzn-smt-ir/src/term/convert.rs
start line: 683
end line: 685
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 541
unit: fn parsing_error()
file: amzn-smt-ir/src/term/convert.rs
start line: 687
end line: 689
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 542
unit: fn fmt()
file: amzn-smt-ir/src/term/binder.rs
start line: 94
end line: 96
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 543
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 21
end line: 23
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 544
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 38
end line: 40
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 545
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 89
end line: 91
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 546
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 95
end line: 97
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 547
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 101
end line: 103
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 548
unit: fn sort()
file: amzn-smt-ir/src/term/sort_checking.rs
start line: 107
end line: 109
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 549
unit: fn context()
file: amzn-smt-ir/src/term/substitute.rs
start line: 26
end line: 28
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 550
unit: fn context_mut()
file: amzn-smt-ir/src/term/substitute.rs
start line: 30
end line: 32
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 551
unit: fn fmt()
file: amzn-smt-ir/src/term/fmt.rs
start line: 8
end line: 10
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 552
unit: fn fmt()
file: amzn-smt-ir/src/term/fmt.rs
start line: 14
end line: 16
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 553
unit: fn from_iter>>()
file: amzn-smt-ir/src/term/args.rs
start line: 15
end line: 18
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 554
unit: fn args()
file: amzn-smt-ir/src/term/args.rs
start line: 34
end line: 36
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 555
unit: fn into_args()
file: amzn-smt-ir/src/term/args.rs
start line: 37
end line: 39
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 556
unit: fn from_iter>>()
file: amzn-smt-ir/src/term/args.rs
start line: 113
end line: 115
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 557
unit: fn terms()
file: amzn-smt-ir/src/term/args.rs
start line: 122
end line: 124
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 558
unit: fn into_terms()
file: amzn-smt-ir/src/term/args.rs
start line: 125
end line: 127
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 559
unit: fn from_iter>>()
file: amzn-smt-ir/src/term/args.rs
start line: 151
end line: 153
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 560
unit: fn from_iter>>()
file: amzn-smt-ir/src/term/args.rs
start line: 185
end line: 187
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 561
unit: fn terms()
file: amzn-smt-ir/src/term/args.rs
start line: 194
end line: 196
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 562
unit: fn into_terms()
file: amzn-smt-ir/src/term/args.rs
start line: 197
end line: 199
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 563
unit: fn from_iter>>()
file: amzn-smt-ir/src/term/args.rs
start line: 231
end line: 233
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 564
unit: fn terms()
file: amzn-smt-ir/src/term/args.rs
start line: 243
end line: 245
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 565
unit: fn into_terms()
file: amzn-smt-ir/src/term/args.rs
start line: 246
end line: 248
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 566
unit: fn terms()
file: amzn-smt-ir/src/term/args.rs
start line: 283
end line: 285
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 567
unit: fn into_terms()
file: amzn-smt-ir/src/term/args.rs
start line: 286
end line: 288
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 568
unit: fn terms()
file: amzn-smt-ir/src/term/args.rs
start line: 297
end line: 299
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 569
unit: fn into_terms()
file: amzn-smt-ir/src/term/args.rs
start line: 300
end line: 302
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 570
unit: fn context()
file: amzn-smt-ir/src/eliminate.rs
start line: 55
end line: 57
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 571
unit: fn context_mut()
file: amzn-smt-ir/src/eliminate.rs
start line: 59
end line: 61
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 572
unit: fn basic()
file: amzn-smt-ir/src/eliminate.rs
start line: 128
end line: 130
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 573
unit: fn substitutes_inside_bound_terms()
file: amzn-smt-ir/src/eliminate.rs
start line: 133
end line: 135
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 574
unit: fn context()
file: amzn-smt-ir/src/visit.rs
start line: 103
end line: 105
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 575
unit: fn visit_term()
file: amzn-smt-ir/src/visit.rs
start line: 120
end line: 122
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 576
unit: fn visit_const()
file: amzn-smt-ir/src/visit.rs
start line: 125
end line: 127
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 577
unit: fn visit_var()
file: amzn-smt-ir/src/visit.rs
start line: 130
end line: 132
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 578
unit: fn visit_core_op()
file: amzn-smt-ir/src/visit.rs
start line: 135
end line: 137
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 579
unit: fn visit_theory_op()
file: amzn-smt-ir/src/visit.rs
start line: 141
end line: 143
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 580
unit: fn visit_uninterpreted_func()
file: amzn-smt-ir/src/visit.rs
start line: 147
end line: 149
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 581
unit: fn visit_let()
file: amzn-smt-ir/src/visit.rs
start line: 152
end line: 154
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 582
unit: fn visit_match()
file: amzn-smt-ir/src/visit.rs
start line: 157
end line: 159
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 583
unit: fn visit_quantifier()
file: amzn-smt-ir/src/visit.rs
start line: 162
end line: 164
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 584
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 189
end line: 196
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 585
unit: fn super_visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 199
end line: 202
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 586
unit: fn visit_term()
file: amzn-smt-ir/src/visit.rs
start line: 204
end line: 206
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 587
unit: fn visit_const()
file: amzn-smt-ir/src/visit.rs
start line: 207
end line: 209
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 588
unit: fn visit_var()
file: amzn-smt-ir/src/visit.rs
start line: 210
end line: 212
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 589
unit: fn visit_core_op()
file: amzn-smt-ir/src/visit.rs
start line: 213
end line: 215
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 590
unit: fn visit_theory_op()
file: amzn-smt-ir/src/visit.rs
start line: 216
end line: 218
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 591
unit: fn visit_let()
file: amzn-smt-ir/src/visit.rs
start line: 219
end line: 221
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 592
unit: fn visit_match()
file: amzn-smt-ir/src/visit.rs
start line: 222
end line: 224
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 593
unit: fn visit_quantifier()
file: amzn-smt-ir/src/visit.rs
start line: 225
end line: 227
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 594
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 231
end line: 233
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 595
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 252
end line: 254
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 596
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 258
end line: 260
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 597
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 265
end line: 267
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 598
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 293
end line: 295
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 599
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 299
end line: 301
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 600
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 312
end line: 314
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 601
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 366
end line: 368
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 602
unit: fn super_visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 372
end line: 374
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 603
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 378
end line: 380
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 604
unit: fn super_visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 384
end line: 386
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 605
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 390
end line: 392
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 606
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 396
end line: 398
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 607
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 402
end line: 404
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 608
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 408
end line: 410
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 609
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 414
end line: 416
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 610
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 420
end line: 422
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 611
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 437
end line: 439
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 612
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 447
end line: 449
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 613
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 453
end line: 455
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 614
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 459
end line: 461
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 615
unit: fn visit_with>()
file: amzn-smt-ir/src/visit.rs
start line: 465
end line: 467
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 616
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 184
end line: 186
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 617
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 190
end line: 192
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 618
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 196
end line: 198
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 619
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 202
end line: 204
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 620
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 211
end line: 213
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 621
unit: fn deref()
file: amzn-smt-ir/src/term.rs
start line: 227
end line: 229
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 622
unit: fn as_ref()
file: amzn-smt-ir/src/term.rs
start line: 233
end line: 235
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 623
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 291
end line: 293
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 624
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 297
end line: 299
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 625
unit: fn not()
file: amzn-smt-ir/src/term.rs
start line: 304
end line: 306
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 626
unit: fn bitand()
file: amzn-smt-ir/src/term.rs
start line: 311
end line: 313
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 627
unit: fn bitor()
file: amzn-smt-ir/src/term.rs
start line: 318
end line: 320
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 628
unit: fn bitxor()
file: amzn-smt-ir/src/term.rs
start line: 325
end line: 327
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 629
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 331
end line: 333
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 630
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 337
end line: 339
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 631
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 343
end line: 345
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 632
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 349
end line: 351
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 633
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 355
end line: 357
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 634
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 361
end line: 363
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 635
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 367
end line: 369
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 636
unit: fn from()
file: amzn-smt-ir/src/term.rs
start line: 373
end line: 375
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 637
unit: fn sort()
file: amzn-smt-ir/src/term.rs
start line: 455
end line: 457
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 638
unit: def argmin()
file: amzn-smt-prediction/scripts/clean_eager_lazy_data.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 639
unit: def missing_endpoint_error()
file: amzn-smt-prediction/scripts/generate_predictions.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 2