id: 1
unit: fn parse_line()
file: z3tracer/src/parser.rs
start line: 97
end line: 317
size: 220 LOC
McCabe index: 4
number of parameters: 1

id: 2
unit: fn next()
file: smt2parser/src/lexer.rs
start line: 208
end line: 379
size: 172 LOC
McCabe index: 25
number of parameters: 1

id: 3
unit: fn main()
file: z3tracer/src/main.rs
start line: 199
end line: 376
size: 161 LOC
McCabe index: 19
number of parameters: 0

id: 4
unit: fn visit_assert()
file: smt2parser/src/visitors.rs
start line: 347
end line: 486
size: 109 LOC
McCabe index: 1
number of parameters: 2

id: 5
unit: fn test_term_rewriter()
file: smt2parser/src/rewriter.rs
start line: 924
end line: 1044
size: 108 LOC
McCabe index: 3
number of parameters: 0

id: 6
unit: fn test_assert_term()
file: smt2parser/src/parser.rs
start line: 393
end line: 501
size: 102 LOC
McCabe index: 1
number of parameters: 0

id: 7
unit: fn get_dependency_graph()
file: z3tracer/src/main.rs
start line: 95
end line: 197
size: 92 LOC
McCabe index: 26
number of parameters: 4

id: 8
unit: fn log_instance()
file: z3tracer/src/model.rs
start line: 501
end line: 586
size: 86 LOC
McCabe index: 14
number of parameters: 2

id: 9
unit: fn fmt()
file: smt2parser/src/concrete.rs
start line: 1189
end line: 1268
size: 72 LOC
McCabe index: 2
number of parameters: 2

id: 10
unit: fn process_events()
file: smt2proxy/src/main.rs
start line: 130
end line: 208
size: 71 LOC
McCabe index: 6
number of parameters: 3

id: 11
unit: fn main()
file: smt2proxy/src/main.rs
start line: 210
end line: 271
size: 51 LOC
McCabe index: 6
number of parameters: 0

id: 12
unit: fn from()
file: smt2proxy/src/lib.rs
start line: 84
end line: 135
size: 50 LOC
McCabe index: 5
number of parameters: 1

id: 13
unit: fn main()
file: smt2parser/src/main.rs
start line: 92
end line: 140
size: 47 LOC
McCabe index: 5
number of parameters: 0

id: 14
unit: fn make_terms_equal()
file: z3tracer/src/model.rs
start line: 630
end line: 668
size: 39 LOC
McCabe index: 2
number of parameters: 5

id: 15
unit: fn fmt()
file: smt2parser/src/concrete.rs
start line: 1069
end line: 1107
size: 39 LOC
McCabe index: 6
number of parameters: 2

id: 16
unit: fn visit_constant()
file: smt2parser/src/visitors.rs
start line: 197
end line: 242
size: 38 LOC
McCabe index: 1
number of parameters: 2

id: 17
unit: fn read_symbol()
file: z3tracer/src/lexer.rs
start line: 111
end line: 146
size: 35 LOC
McCabe index: 11
number of parameters: 1

id: 18
unit: fn make_terms_equal_at_scope()
file: z3tracer/src/model.rs
start line: 674
end line: 711
size: 34 LOC
McCabe index: 4
number of parameters: 6

id: 19
unit: fn next()
file: smt2parser/src/lib.rs
start line: 105
end line: 141
size: 34 LOC
McCabe index: 6
number of parameters: 1

id: 20
unit: fn check_literal_equality()
file: z3tracer/src/model.rs
start line: 749
end line: 783
size: 33 LOC
McCabe index: 10
number of parameters: 4

id: 21
unit: fn analyze_command()
file: smt2proxy/src/lib.rs
start line: 153
end line: 190
size: 33 LOC
McCabe index: 2
number of parameters: 2

id: 22
unit: fn term_equality_class()
file: z3tracer/src/model.rs
start line: 340
end line: 370
size: 31 LOC
McCabe index: 5
number of parameters: 2

id: 23
unit: fn test_ident_from_str()
file: z3tracer/src/lexer.rs
start line: 462
end line: 488
size: 27 LOC
McCabe index: 1
number of parameters: 0

id: 24
unit: fn check_matching_terms()
file: z3tracer/src/model.rs
start line: 812
end line: 837
size: 26 LOC
McCabe index: 5
number of parameters: 4

id: 25
unit: fn test_var_name_from_str()
file: z3tracer/src/lexer.rs
start line: 491
end line: 514
size: 24 LOC
McCabe index: 1
number of parameters: 0

id: 26
unit: fn make_z3_args()
file: smt2proxy/src/main.rs
start line: 75
end line: 98
size: 24 LOC
McCabe index: 8
number of parameters: 1

id: 27
unit: fn spawn_child_stream_logger()
file: smt2proxy/src/main.rs
start line: 106
end line: 128
size: 23 LOC
McCabe index: 5
number of parameters: 4

id: 28
unit: fn parse_smt2_options()
file: smt2proxy/src/lib.rs
start line: 47
end line: 67
size: 21 LOC
McCabe index: 6
number of parameters: 1

id: 29
unit: fn term_data_mut()
file: z3tracer/src/model.rs
start line: 609
end line: 628
size: 20 LOC
McCabe index: 4
number of parameters: 2

id: 30
unit: fn read_ident_internal()
file: z3tracer/src/lexer.rs
start line: 285
end line: 303
size: 19 LOC
McCabe index: 3
number of parameters: 2

id: 31
unit: fn process_file()
file: smt2parser/src/main.rs
start line: 61
end line: 79
size: 19 LOC
McCabe index: 2
number of parameters: 3

id: 32
unit: fn make_ident()
file: z3tracer/src/lexer.rs
start line: 252
end line: 269
size: 18 LOC
McCabe index: 2
number of parameters: 4

id: 33
unit: fn add_term()
file: z3tracer/src/parser.rs
start line: 34
end line: 67
size: 18 LOC
McCabe index: 1
number of parameters: 3

id: 34
unit: fn consolidate_equality_classes()
file: z3tracer/src/model.rs
start line: 839
end line: 856
size: 18 LOC
McCabe index: 3
number of parameters: 1

id: 35
unit: fn test_command_stream_error()
file: smt2parser/src/lib.rs
start line: 145
end line: 162
size: 18 LOC
McCabe index: 1
number of parameters: 0

id: 36
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 266
end line: 282
size: 17 LOC
McCabe index: 1
number of parameters: 2

id: 37
unit: fn from_str()
file: z3tracer/src/syntax.rs
start line: 354
end line: 370
size: 17 LOC
McCabe index: 2
number of parameters: 1

id: 38
unit: fn read_word()
file: z3tracer/src/lexer.rs
start line: 148
end line: 164
size: 17 LOC
McCabe index: 8
number of parameters: 1

id: 39
unit: fn scoped_term_data()
file: z3tracer/src/model.rs
start line: 314
end line: 330
size: 17 LOC
McCabe index: 3
number of parameters: 2

id: 40
unit: fn test_command_stream_invalid_token()
file: smt2parser/src/lib.rs
start line: 165
end line: 181
size: 17 LOC
McCabe index: 1
number of parameters: 0

id: 41
unit: fn visit_simple_identifier()
file: smt2parser/src/renaming.rs
start line: 35
end line: 51
size: 17 LOC
McCabe index: 2
number of parameters: 2

id: 42
unit: fn check_equality()
file: z3tracer/src/model.rs
start line: 731
end line: 746
size: 16 LOC
McCabe index: 2
number of parameters: 3

id: 43
unit: fn check_matching_ids()
file: z3tracer/src/model.rs
start line: 795
end line: 810
size: 16 LOC
McCabe index: 3
number of parameters: 4

id: 44
unit: fn make_reserved_words()
file: smt2parser/src/lexer.rs
start line: 108
end line: 123
size: 16 LOC
McCabe index: 2
number of parameters: 0

id: 45
unit: fn max_ts_and_count()
file: z3tracer/src/report.rs
start line: 75
end line: 89
size: 15 LOC
McCabe index: 5
number of parameters: 2

id: 46
unit: fn fmt()
file: z3tracer/src/syntax.rs
start line: 177
end line: 191
size: 15 LOC
McCabe index: 1
number of parameters: 2

id: 47
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 324
end line: 338
size: 15 LOC
McCabe index: 1
number of parameters: 2

id: 48
unit: fn term_max_scope_index()
file: z3tracer/src/model.rs
start line: 713
end line: 727
size: 15 LOC
McCabe index: 5
number of parameters: 2

id: 49
unit: fn visit_attributes()
file: smt2parser/src/rewriter.rs
start line: 290
end line: 304
size: 15 LOC
McCabe index: 1
number of parameters: 7

id: 50
unit: fn test_echo()
file: smt2parser/src/parser.rs
start line: 376
end line: 390
size: 15 LOC
McCabe index: 1
number of parameters: 0

id: 51
unit: fn get_instantiations()
file: z3tracer/src/main.rs
start line: 80
end line: 93
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 52
unit: fn skip_comment()
file: smt2parser/src/lexer.rs
start line: 186
end line: 199
size: 14 LOC
McCabe index: 4
number of parameters: 1

id: 53
unit: fn initial_commands_if_needed()
file: smt2proxy/src/lib.rs
start line: 192
end line: 205
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 54
unit: fn iter_args()
file: smt2proxy/src/main.rs
start line: 60
end line: 73
size: 14 LOC
McCabe index: 4
number of parameters: 0

id: 55
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 289
end line: 301
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 56
unit: fn make_key()
file: z3tracer/src/lexer.rs
start line: 271
end line: 283
size: 13 LOC
McCabe index: 2
number of parameters: 3

id: 57
unit: fn visit_simple_identifier()
file: smt2parser/src/visitors.rs
start line: 143
end line: 156
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 58
unit: fn fmt()
file: smt2parser/src/visitors.rs
start line: 552
end line: 565
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 59
unit: fn node()
file: smt2parser/src/stats.rs
start line: 123
end line: 135
size: 13 LOC
McCabe index: 2
number of parameters: 1

id: 60
unit: fn consume_byte()
file: z3tracer/src/lexer.rs
start line: 53
end line: 64
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 61
unit: fn read_token()
file: z3tracer/src/lexer.rs
start line: 97
end line: 108
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 62
unit: fn visit_declare_fun()
file: smt2parser/src/concrete.rs
start line: 673
end line: 684
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 63
unit: fn visit_define_sort()
file: smt2parser/src/concrete.rs
start line: 713
end line: 724
size: 12 LOC
McCabe index: 1
number of parameters: 4

id: 64
unit: fn visit_set_info()
file: smt2parser/src/rewriter.rs
start line: 484
end line: 495
size: 12 LOC
McCabe index: 1
number of parameters: 6

id: 65
unit: fn visit_set_option()
file: smt2parser/src/rewriter.rs
start line: 503
end line: 514
size: 12 LOC
McCabe index: 1
number of parameters: 6

id: 66
unit: fn consume_byte()
file: smt2parser/src/lexer.rs
start line: 146
end line: 157
size: 12 LOC
McCabe index: 3
number of parameters: 1

id: 67
unit: fn try_parse_weights()
file: smt2patch/src/lib.rs
start line: 46
end line: 56
size: 11 LOC
McCabe index: 1
number of parameters: 1

id: 68
unit: fn make_clause_name()
file: smt2patch/src/lib.rs
start line: 83
end line: 93
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 69
unit: fn fmt()
file: smt2parser/src/concrete.rs
start line: 1111
end line: 1121
size: 11 LOC
McCabe index: 4
number of parameters: 2

id: 70
unit: fn visit_let()
file: smt2parser/src/rewriter.rs
start line: 246
end line: 256
size: 11 LOC
McCabe index: 1
number of parameters: 3

id: 71
unit: fn visit_forall()
file: smt2parser/src/rewriter.rs
start line: 257
end line: 267
size: 11 LOC
McCabe index: 1
number of parameters: 3

id: 72
unit: fn visit_exists()
file: smt2parser/src/rewriter.rs
start line: 268
end line: 278
size: 11 LOC
McCabe index: 1
number of parameters: 3

id: 73
unit: fn visit_match()
file: smt2parser/src/rewriter.rs
start line: 279
end line: 289
size: 11 LOC
McCabe index: 1
number of parameters: 4

id: 74
unit: fn visit_declare_datatypes()
file: smt2parser/src/rewriter.rs
start line: 341
end line: 351
size: 11 LOC
McCabe index: 1
number of parameters: 5

id: 75
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 308
end line: 317
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 76
unit: fn scoped_term_data_mut()
file: z3tracer/src/model.rs
start line: 302
end line: 311
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 77
unit: fn visit_parameterized_sort()
file: smt2parser/src/concrete.rs
start line: 340
end line: 349
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 78
unit: fn visit_application()
file: smt2parser/src/concrete.rs
start line: 436
end line: 445
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 79
unit: fn fmt()
file: smt2parser/src/concrete.rs
start line: 1136
end line: 1145
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 80
unit: fn fmt()
file: smt2parser/src/concrete.rs
start line: 1152
end line: 1162
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 81
unit: fn fmt()
file: smt2parser/src/visitors.rs
start line: 535
end line: 544
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 82
unit: fn fmt()
file: smt2parser/src/visitors.rs
start line: 573
end line: 582
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 83
unit: fn visit_parameterized_sort()
file: smt2parser/src/rewriter.rs
start line: 193
end line: 202
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 84
unit: fn visit_application()
file: smt2parser/src/rewriter.rs
start line: 236
end line: 245
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 85
unit: fn visit_define_funs_rec()
file: smt2parser/src/rewriter.rs
start line: 385
end line: 394
size: 10 LOC
McCabe index: 1
number of parameters: 4

id: 86
unit: fn read_words()
file: smt2parser/src/main.rs
start line: 81
end line: 90
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 87
unit: fn visit_let()
file: smt2parser/src/stats.rs
start line: 301
end line: 310
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 88
unit: fn visit_match()
file: smt2parser/src/stats.rs
start line: 330
end line: 339
size: 10 LOC
McCabe index: 1
number of parameters: 4

id: 89
unit: fn visit_define_funs_rec()
file: smt2parser/src/stats.rs
start line: 433
end line: 442
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 90
unit: fn parse_clauses()
file: smt2patch/src/lib.rs
start line: 36
end line: 44
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 91
unit: fn skip_space()
file: z3tracer/src/lexer.rs
start line: 83
end line: 91
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 92
unit: fn check_congruence_equality()
file: z3tracer/src/model.rs
start line: 785
end line: 793
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 93
unit: fn add_deps_from_term()
file: z3tracer/src/model.rs
start line: 858
end line: 866
size: 9 LOC
McCabe index: 1
number of parameters: 4

id: 94
unit: fn fmt()
file: smt2parser/src/visitors.rs
start line: 590
end line: 599
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 95
unit: fn visit_declare_fun()
file: smt2parser/src/rewriter.rs
start line: 352
end line: 360
size: 9 LOC
McCabe index: 1
number of parameters: 4

id: 96
unit: fn visit_define_sort()
file: smt2parser/src/rewriter.rs
start line: 395
end line: 403
size: 9 LOC
McCabe index: 1
number of parameters: 4

id: 97
unit: fn visit_declare_fun()
file: smt2parser/src/stats.rs
start line: 406
end line: 414
size: 9 LOC
McCabe index: 1
number of parameters: 4

id: 98
unit: fn visit_define_sort()
file: smt2parser/src/stats.rs
start line: 444
end line: 452
size: 9 LOC
McCabe index: 1
number of parameters: 4

id: 99
unit: fn skip_whitespace()
file: smt2parser/src/lexer.rs
start line: 176
end line: 184
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 100
unit: fn main()
file: smt2patch/src/main.rs
start line: 20
end line: 29
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 101
unit: fn visit_let()
file: smt2parser/src/concrete.rs
start line: 447
end line: 454
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 102
unit: fn visit_forall()
file: smt2parser/src/concrete.rs
start line: 456
end line: 463
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 103
unit: fn visit_exists()
file: smt2parser/src/concrete.rs
start line: 465
end line: 472
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 104
unit: fn visit_match()
file: smt2parser/src/concrete.rs
start line: 474
end line: 481
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 105
unit: fn visit_attributes()
file: smt2parser/src/concrete.rs
start line: 483
end line: 490
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 106
unit: fn fmt()
file: smt2parser/src/concrete.rs
start line: 1169
end line: 1176
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 107
unit: fn visit_numeral_constant()
file: smt2parser/src/visitors.rs
start line: 15
end line: 23
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 108
unit: fn visit_simple_sort()
file: smt2parser/src/visitors.rs
start line: 131
end line: 139
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 109
unit: fn fmt()
file: smt2parser/src/visitors.rs
start line: 518
end line: 526
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 110
unit: fn visit_fresh_symbol()
file: smt2parser/src/rewriter.rs
start line: 121
end line: 128
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 111
unit: fn visit_sorted_identifier()
file: smt2parser/src/rewriter.rs
start line: 212
end line: 219
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 112
unit: fn visit_declare_const()
file: smt2parser/src/rewriter.rs
start line: 325
end line: 332
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 113
unit: fn visit_declare_datatype()
file: smt2parser/src/rewriter.rs
start line: 333
end line: 340
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 114
unit: fn visit_declare_sort()
file: smt2parser/src/rewriter.rs
start line: 361
end line: 368
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 115
unit: fn visit_define_fun()
file: smt2parser/src/rewriter.rs
start line: 369
end line: 376
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 116
unit: fn visit_define_fun_rec()
file: smt2parser/src/rewriter.rs
start line: 377
end line: 384
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 117
unit: fn visit_declare_fun()
file: smt2parser/src/rewriter.rs
start line: 769
end line: 776
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 118
unit: fn visit_define_sort()
file: smt2parser/src/rewriter.rs
start line: 809
end line: 816
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 119
unit: fn visit_fresh_symbol()
file: smt2parser/src/stats.rs
start line: 168
end line: 175
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 120
unit: fn visit_parameterized_sort()
file: smt2parser/src/stats.rs
start line: 246
end line: 253
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 121
unit: fn visit_sorted_identifier()
file: smt2parser/src/stats.rs
start line: 265
end line: 272
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 122
unit: fn visit_application()
file: smt2parser/src/stats.rs
start line: 292
end line: 299
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 123
unit: fn visit_forall()
file: smt2parser/src/stats.rs
start line: 312
end line: 319
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 124
unit: fn visit_exists()
file: smt2parser/src/stats.rs
start line: 321
end line: 328
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 125
unit: fn visit_attributes()
file: smt2parser/src/stats.rs
start line: 341
end line: 348
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 126
unit: fn visit_declare_datatype()
file: smt2parser/src/stats.rs
start line: 389
end line: 396
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 127
unit: fn visit_set_info()
file: smt2parser/src/stats.rs
start line: 532
end line: 539
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 128
unit: fn visit_set_option()
file: smt2parser/src/stats.rs
start line: 546
end line: 553
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 129
unit: fn flush()
file: smt2proxy/src/lib.rs
start line: 257
end line: 265
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 130
unit: fn fmt()
file: z3tracer/src/error.rs
start line: 83
end line: 89
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 131
unit: fn fmt()
file: z3tracer/src/syntax.rs
start line: 195
end line: 201
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 132
unit: fn current_position()
file: z3tracer/src/lexer.rs
start line: 38
end line: 44
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 133
unit: fn maybe_index_min()
file: z3tracer/src/model.rs
start line: 215
end line: 221
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 134
unit: fn check_ident()
file: z3tracer/src/model.rs
start line: 588
end line: 594
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 135
unit: fn check_ident_is_not_a_proof()
file: z3tracer/src/model.rs
start line: 596
end line: 602
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 136
unit: fn visit_sorted_identifier()
file: smt2parser/src/concrete.rs
start line: 387
end line: 393
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 137
unit: fn visit_declare_datatype()
file: smt2parser/src/concrete.rs
start line: 658
end line: 664
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 138
unit: fn visit_define_fun()
file: smt2parser/src/concrete.rs
start line: 690
end line: 696
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 139
unit: fn visit_define_fun_rec()
file: smt2parser/src/concrete.rs
start line: 698
end line: 704
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 140
unit: fn visit_set_info()
file: smt2parser/src/concrete.rs
start line: 786
end line: 792
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 141
unit: fn visit_set_option()
file: smt2parser/src/concrete.rs
start line: 798
end line: 804
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 142
unit: fn visit_constant_s_expr()
file: smt2parser/src/visitors.rs
start line: 67
end line: 74
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 143
unit: fn syntax_error()
file: smt2parser/src/visitors.rs
start line: 497
end line: 504
size: 7 LOC
McCabe index: 2
number of parameters: 3

id: 144
unit: fn fmt()
file: smt2parser/src/visitors.rs
start line: 505
end line: 511
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 145
unit: fn visitor()
file: smt2parser/src/rewriter.rs
start line: 23
end line: 31
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 146
unit: fn visit_numeral_constant()
file: smt2parser/src/rewriter.rs
start line: 76
end line: 82
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 147
unit: fn visit_decimal_constant()
file: smt2parser/src/rewriter.rs
start line: 83
end line: 89
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 148
unit: fn visit_hexadecimal_constant()
file: smt2parser/src/rewriter.rs
start line: 90
end line: 96
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 149
unit: fn visit_binary_constant()
file: smt2parser/src/rewriter.rs
start line: 97
end line: 103
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 150
unit: fn visit_string_constant()
file: smt2parser/src/rewriter.rs
start line: 104
end line: 110
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 151
unit: fn visit_bound_symbol()
file: smt2parser/src/rewriter.rs
start line: 113
end line: 119
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 152
unit: fn visit_any_symbol()
file: smt2parser/src/rewriter.rs
start line: 130
end line: 136
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 153
unit: fn visit_keyword()
file: smt2parser/src/rewriter.rs
start line: 147
end line: 153
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 154
unit: fn visit_constant_s_expr()
file: smt2parser/src/rewriter.rs
start line: 156
end line: 162
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 155
unit: fn visit_symbol_s_expr()
file: smt2parser/src/rewriter.rs
start line: 163
end line: 169
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 156
unit: fn visit_keyword_s_expr()
file: smt2parser/src/rewriter.rs
start line: 170
end line: 176
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 157
unit: fn visit_application_s_expr()
file: smt2parser/src/rewriter.rs
start line: 177
end line: 183
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 158
unit: fn visit_simple_sort()
file: smt2parser/src/rewriter.rs
start line: 186
end line: 192
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 159
unit: fn visit_simple_identifier()
file: smt2parser/src/rewriter.rs
start line: 205
end line: 211
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 160
unit: fn visit_constant()
file: smt2parser/src/rewriter.rs
start line: 222
end line: 228
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 161
unit: fn visit_qual_identifier()
file: smt2parser/src/rewriter.rs
start line: 229
end line: 235
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 162
unit: fn visit_assert()
file: smt2parser/src/rewriter.rs
start line: 307
end line: 313
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 163
unit: fn visit_check_sat_assuming()
file: smt2parser/src/rewriter.rs
start line: 318
end line: 324
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 164
unit: fn visit_echo()
file: smt2parser/src/rewriter.rs
start line: 404
end line: 410
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 165
unit: fn visit_get_info()
file: smt2parser/src/rewriter.rs
start line: 423
end line: 429
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 166
unit: fn visit_get_option()
file: smt2parser/src/rewriter.rs
start line: 434
end line: 440
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 167
unit: fn visit_get_value()
file: smt2parser/src/rewriter.rs
start line: 455
end line: 461
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 168
unit: fn visit_pop()
file: smt2parser/src/rewriter.rs
start line: 462
end line: 468
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 169
unit: fn visit_push()
file: smt2parser/src/rewriter.rs
start line: 469
end line: 475
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 170
unit: fn visit_set_logic()
file: smt2parser/src/rewriter.rs
start line: 496
end line: 502
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 171
unit: fn visit_parameterized_sort()
file: smt2parser/src/rewriter.rs
start line: 621
end line: 627
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 172
unit: fn visit_sorted_identifier()
file: smt2parser/src/rewriter.rs
start line: 645
end line: 651
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 173
unit: fn visit_application()
file: smt2parser/src/rewriter.rs
start line: 674
end line: 680
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 174
unit: fn visit_let()
file: smt2parser/src/rewriter.rs
start line: 682
end line: 688
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 175
unit: fn visit_forall()
file: smt2parser/src/rewriter.rs
start line: 690
end line: 696
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 176
unit: fn visit_exists()
file: smt2parser/src/rewriter.rs
start line: 698
end line: 704
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 177
unit: fn visit_match()
file: smt2parser/src/rewriter.rs
start line: 706
end line: 712
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 178
unit: fn visit_attributes()
file: smt2parser/src/rewriter.rs
start line: 714
end line: 720
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 179
unit: fn visit_declare_const()
file: smt2parser/src/rewriter.rs
start line: 746
end line: 752
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 180
unit: fn visit_declare_datatype()
file: smt2parser/src/rewriter.rs
start line: 754
end line: 760
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 181
unit: fn visit_declare_sort()
file: smt2parser/src/rewriter.rs
start line: 778
end line: 784
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 182
unit: fn visit_define_fun()
file: smt2parser/src/rewriter.rs
start line: 786
end line: 792
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 183
unit: fn visit_define_fun_rec()
file: smt2parser/src/rewriter.rs
start line: 794
end line: 800
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 184
unit: fn visit_set_info()
file: smt2parser/src/rewriter.rs
start line: 878
end line: 884
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 185
unit: fn visit_set_option()
file: smt2parser/src/rewriter.rs
start line: 890
end line: 896
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 186
unit: fn visit_qual_identifier()
file: smt2parser/src/stats.rs
start line: 284
end line: 290
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 187
unit: fn visit_term()
file: smt2parser/src/stats.rs
start line: 352
end line: 358
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 188
unit: fn visit_check_sat_assuming()
file: smt2parser/src/stats.rs
start line: 376
end line: 382
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 189
unit: fn visit_declare_datatypes()
file: smt2parser/src/stats.rs
start line: 398
end line: 404
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 190
unit: fn visit_get_value()
file: smt2parser/src/stats.rs
start line: 504
end line: 510
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 191
unit: fn test_declare_datatypes_with_comment()
file: smt2parser/src/parser.rs
start line: 504
end line: 511
size: 7 LOC
McCabe index: 2
number of parameters: 0

id: 192
unit: fn get_clause_name()
file: smt2patch/src/lib.rs
start line: 101
end line: 106
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 193
unit: fn get_quantifier_name()
file: smt2patch/src/lib.rs
start line: 108
end line: 113
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 194
unit: fn id2name()
file: z3tracer/src/report.rs
start line: 38
end line: 43
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 195
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 206
end line: 212
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 196
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 213
end line: 218
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 197
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 225
end line: 230
size: 6 LOC
McCabe index: 2
number of parameters: 2

id: 198
unit: fn read_key_internal()
file: z3tracer/src/lexer.rs
start line: 317
end line: 322
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 199
unit: fn visit_qual_identifier()
file: smt2parser/src/concrete.rs
start line: 429
end line: 434
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 200
unit: fn visit_check_sat_assuming()
file: smt2parser/src/concrete.rs
start line: 647
end line: 652
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 201
unit: fn visit_declare_datatypes()
file: smt2parser/src/concrete.rs
start line: 666
end line: 671
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 202
unit: fn visit_define_funs_rec()
file: smt2parser/src/concrete.rs
start line: 706
end line: 711
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 203
unit: fn process_symbol()
file: smt2parser/src/rewriter.rs
start line: 32
end line: 37
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 204
unit: fn process_keyword()
file: smt2parser/src/rewriter.rs
start line: 38
end line: 43
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 205
unit: fn process_s_expr()
file: smt2parser/src/rewriter.rs
start line: 44
end line: 49
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 206
unit: fn process_sort()
file: smt2parser/src/rewriter.rs
start line: 50
end line: 55
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 207
unit: fn process_qual_identifier()
file: smt2parser/src/rewriter.rs
start line: 56
end line: 61
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 208
unit: fn process_term()
file: smt2parser/src/rewriter.rs
start line: 62
end line: 67
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 209
unit: fn process_command()
file: smt2parser/src/rewriter.rs
start line: 68
end line: 73
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 210
unit: fn visit_get_unsat_assumptions()
file: smt2parser/src/rewriter.rs
start line: 445
end line: 450
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 211
unit: fn visit_simple_identifier()
file: smt2parser/src/rewriter.rs
start line: 638
end line: 643
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 212
unit: fn visit_qual_identifier()
file: smt2parser/src/rewriter.rs
start line: 667
end line: 672
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 213
unit: fn visit_check_sat_assuming()
file: smt2parser/src/rewriter.rs
start line: 739
end line: 744
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 214
unit: fn visit_declare_datatypes()
file: smt2parser/src/rewriter.rs
start line: 762
end line: 767
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 215
unit: fn visit_define_funs_rec()
file: smt2parser/src/rewriter.rs
start line: 802
end line: 807
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 216
unit: fn fmt()
file: smt2parser/src/lexer.rs
start line: 24
end line: 29
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 217
unit: fn make_quantifier_name()
file: smt2patch/src/lib.rs
start line: 95
end line: 99
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 218
unit: fn test_version_check()
file: z3tracer/src/error.rs
start line: 111
end line: 115
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 219
unit: fn id2s()
file: z3tracer/src/report.rs
start line: 24
end line: 33
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 220
unit: fn read_byte()
file: z3tracer/src/lexer.rs
start line: 66
end line: 70
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 221
unit: fn peek_bytes()
file: z3tracer/src/lexer.rs
start line: 73
end line: 77
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 222
unit: fn visit_keyword()
file: smt2parser/src/stats.rs
start line: 102
end line: 106
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 223
unit: fn visit_symbol()
file: smt2parser/src/stats.rs
start line: 108
end line: 112
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 224
unit: fn visit_bound_symbol()
file: smt2parser/src/stats.rs
start line: 177
end line: 181
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 225
unit: fn visit_keyword()
file: smt2parser/src/stats.rs
start line: 193
end line: 197
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 226
unit: fn visit_assert()
file: smt2parser/src/stats.rs
start line: 365
end line: 369
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 227
unit: fn visit_define_fun()
file: smt2parser/src/stats.rs
start line: 421
end line: 425
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 228
unit: fn visit_define_fun_rec()
file: smt2parser/src/stats.rs
start line: 427
end line: 431
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 229
unit: fn lookup_symbol()
file: smt2parser/src/lexer.rs
start line: 102
end line: 106
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 230
unit: fn read_byte()
file: smt2parser/src/lexer.rs
start line: 159
end line: 163
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 231
unit: fn peek_bytes()
file: smt2parser/src/lexer.rs
start line: 166
end line: 170
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 232
unit: fn key2name()
file: z3tracer/src/report.rs
start line: 45
end line: 48
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 233
unit: fn size_hint()
file: z3tracer/src/report.rs
start line: 69
end line: 72
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 234
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 238
end line: 241
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 235
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 345
end line: 348
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 236
unit: fn append_id_subterms()
file: z3tracer/src/model.rs
start line: 487
end line: 490
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 237
unit: fn term_mut()
file: z3tracer/src/model.rs
start line: 604
end line: 607
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 238
unit: fn visit_fresh_symbol()
file: smt2parser/src/visitors.rs
start line: 39
end line: 43
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 239
unit: fn visit_any_symbol()
file: smt2parser/src/visitors.rs
start line: 46
end line: 49
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 240
unit: fn visit_check_sat()
file: smt2parser/src/rewriter.rs
start line: 314
end line: 317
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 241
unit: fn visit_exit()
file: smt2parser/src/rewriter.rs
start line: 411
end line: 414
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 242
unit: fn visit_get_assertions()
file: smt2parser/src/rewriter.rs
start line: 415
end line: 418
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 243
unit: fn visit_get_assignment()
file: smt2parser/src/rewriter.rs
start line: 419
end line: 422
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 244
unit: fn visit_get_model()
file: smt2parser/src/rewriter.rs
start line: 430
end line: 433
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 245
unit: fn visit_get_proof()
file: smt2parser/src/rewriter.rs
start line: 441
end line: 444
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 246
unit: fn visit_get_unsat_core()
file: smt2parser/src/rewriter.rs
start line: 451
end line: 454
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 247
unit: fn visit_reset()
file: smt2parser/src/rewriter.rs
start line: 476
end line: 479
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 248
unit: fn visit_reset_assertions()
file: smt2parser/src/rewriter.rs
start line: 480
end line: 483
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 249
unit: fn visit_numeral_constant()
file: smt2parser/src/stats.rs
start line: 142
end line: 145
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 250
unit: fn visit_decimal_constant()
file: smt2parser/src/stats.rs
start line: 146
end line: 149
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 251
unit: fn visit_hexadecimal_constant()
file: smt2parser/src/stats.rs
start line: 150
end line: 153
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 252
unit: fn visit_binary_constant()
file: smt2parser/src/stats.rs
start line: 154
end line: 157
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 253
unit: fn visit_string_constant()
file: smt2parser/src/stats.rs
start line: 158
end line: 161
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 254
unit: fn visit_any_symbol()
file: smt2parser/src/stats.rs
start line: 183
end line: 186
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 255
unit: fn visit_constant_s_expr()
file: smt2parser/src/stats.rs
start line: 216
end line: 219
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 256
unit: fn visit_symbol_s_expr()
file: smt2parser/src/stats.rs
start line: 221
end line: 224
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 257
unit: fn visit_keyword_s_expr()
file: smt2parser/src/stats.rs
start line: 226
end line: 229
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 258
unit: fn visit_application_s_expr()
file: smt2parser/src/stats.rs
start line: 231
end line: 234
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 259
unit: fn visit_simple_sort()
file: smt2parser/src/stats.rs
start line: 241
end line: 244
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 260
unit: fn visit_simple_identifier()
file: smt2parser/src/stats.rs
start line: 260
end line: 263
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 261
unit: fn visit_constant()
file: smt2parser/src/stats.rs
start line: 279
end line: 282
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 262
unit: fn visit_check_sat()
file: smt2parser/src/stats.rs
start line: 371
end line: 374
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 263
unit: fn visit_declare_const()
file: smt2parser/src/stats.rs
start line: 384
end line: 387
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 264
unit: fn visit_declare_sort()
file: smt2parser/src/stats.rs
start line: 416
end line: 419
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 265
unit: fn visit_echo()
file: smt2parser/src/stats.rs
start line: 454
end line: 457
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 266
unit: fn visit_exit()
file: smt2parser/src/stats.rs
start line: 459
end line: 462
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 267
unit: fn visit_get_assertions()
file: smt2parser/src/stats.rs
start line: 464
end line: 467
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 268
unit: fn visit_get_assignment()
file: smt2parser/src/stats.rs
start line: 469
end line: 472
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 269
unit: fn visit_get_info()
file: smt2parser/src/stats.rs
start line: 474
end line: 477
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 270
unit: fn visit_get_model()
file: smt2parser/src/stats.rs
start line: 479
end line: 482
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 271
unit: fn visit_get_option()
file: smt2parser/src/stats.rs
start line: 484
end line: 487
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 272
unit: fn visit_get_proof()
file: smt2parser/src/stats.rs
start line: 489
end line: 492
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 273
unit: fn visit_get_unsat_assumptions()
file: smt2parser/src/stats.rs
start line: 494
end line: 497
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 274
unit: fn visit_get_unsat_core()
file: smt2parser/src/stats.rs
start line: 499
end line: 502
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 275
unit: fn visit_pop()
file: smt2parser/src/stats.rs
start line: 512
end line: 515
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 276
unit: fn visit_push()
file: smt2parser/src/stats.rs
start line: 517
end line: 520
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 277
unit: fn visit_reset()
file: smt2parser/src/stats.rs
start line: 522
end line: 525
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 278
unit: fn visit_reset_assertions()
file: smt2parser/src/stats.rs
start line: 527
end line: 530
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 279
unit: fn visit_set_logic()
file: smt2parser/src/stats.rs
start line: 541
end line: 544
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 280
unit: fn from()
file: z3tracer/src/error.rs
start line: 105
end line: 107
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 281
unit: fn id2s()
file: z3tracer/src/report.rs
start line: 34
end line: 36
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 282
unit: fn from()
file: z3tracer/src/report.rs
start line: 57
end line: 59
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 283
unit: fn next()
file: z3tracer/src/report.rs
start line: 65
end line: 67
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 284
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 248
end line: 250
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 285
unit: fn visit()
file: z3tracer/src/syntax.rs
start line: 257
end line: 259
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 286
unit: fn peek_byte()
file: z3tracer/src/lexer.rs
start line: 79
end line: 81
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 287
unit: fn skip_spaces()
file: z3tracer/src/lexer.rs
start line: 93
end line: 95
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 288
unit: fn term_assignment()
file: z3tracer/src/model.rs
start line: 332
end line: 334
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 289
unit: fn term_proof()
file: z3tracer/src/model.rs
start line: 336
end line: 338
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 290
unit: fn append_term_subterms()
file: z3tracer/src/model.rs
start line: 492
end line: 494
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 291
unit: fn has_log_consistency_checks()
file: z3tracer/src/model.rs
start line: 496
end line: 498
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 292
unit: fn visit_numeral_constant()
file: smt2parser/src/concrete.rs
start line: 215
end line: 217
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 293
unit: fn visit_decimal_constant()
file: smt2parser/src/concrete.rs
start line: 218
end line: 220
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 294
unit: fn visit_hexadecimal_constant()
file: smt2parser/src/concrete.rs
start line: 221
end line: 223
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 295
unit: fn visit_binary_constant()
file: smt2parser/src/concrete.rs
start line: 224
end line: 226
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 296
unit: fn visit_string_constant()
file: smt2parser/src/concrete.rs
start line: 227
end line: 229
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 297
unit: fn visit_fresh_symbol()
file: smt2parser/src/concrete.rs
start line: 253
end line: 255
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 298
unit: fn visit_keyword()
file: smt2parser/src/concrete.rs
start line: 262
end line: 264
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 299
unit: fn visit_constant_s_expr()
file: smt2parser/src/concrete.rs
start line: 281
end line: 283
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 300
unit: fn visit_symbol_s_expr()
file: smt2parser/src/concrete.rs
start line: 285
end line: 287
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 301
unit: fn visit_keyword_s_expr()
file: smt2parser/src/concrete.rs
start line: 289
end line: 291
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 302
unit: fn visit_application_s_expr()
file: smt2parser/src/concrete.rs
start line: 293
end line: 295
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 303
unit: fn visit_simple_sort()
file: smt2parser/src/concrete.rs
start line: 336
end line: 338
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 304
unit: fn visit_simple_identifier()
file: smt2parser/src/concrete.rs
start line: 383
end line: 385
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 305
unit: fn visit_constant()
file: smt2parser/src/concrete.rs
start line: 425
end line: 427
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 306
unit: fn visit_assert()
file: smt2parser/src/concrete.rs
start line: 639
end line: 641
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 307
unit: fn visit_check_sat()
file: smt2parser/src/concrete.rs
start line: 643
end line: 645
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 308
unit: fn visit_declare_const()
file: smt2parser/src/concrete.rs
start line: 654
end line: 656
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 309
unit: fn visit_declare_sort()
file: smt2parser/src/concrete.rs
start line: 686
end line: 688
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 310
unit: fn visit_echo()
file: smt2parser/src/concrete.rs
start line: 726
end line: 728
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 311
unit: fn visit_exit()
file: smt2parser/src/concrete.rs
start line: 730
end line: 732
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 312
unit: fn visit_get_assertions()
file: smt2parser/src/concrete.rs
start line: 734
end line: 736
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 313
unit: fn visit_get_assignment()
file: smt2parser/src/concrete.rs
start line: 738
end line: 740
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 314
unit: fn visit_get_info()
file: smt2parser/src/concrete.rs
start line: 742
end line: 744
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 315
unit: fn visit_get_model()
file: smt2parser/src/concrete.rs
start line: 746
end line: 748
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 316
unit: fn visit_get_option()
file: smt2parser/src/concrete.rs
start line: 750
end line: 752
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 317
unit: fn visit_get_proof()
file: smt2parser/src/concrete.rs
start line: 754
end line: 756
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 318
unit: fn visit_get_unsat_assumptions()
file: smt2parser/src/concrete.rs
start line: 758
end line: 760
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 319
unit: fn visit_get_unsat_core()
file: smt2parser/src/concrete.rs
start line: 762
end line: 764
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 320
unit: fn visit_get_value()
file: smt2parser/src/concrete.rs
start line: 766
end line: 768
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 321
unit: fn visit_pop()
file: smt2parser/src/concrete.rs
start line: 770
end line: 772
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 322
unit: fn visit_push()
file: smt2parser/src/concrete.rs
start line: 774
end line: 776
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 323
unit: fn visit_reset()
file: smt2parser/src/concrete.rs
start line: 778
end line: 780
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 324
unit: fn visit_reset_assertions()
file: smt2parser/src/concrete.rs
start line: 782
end line: 784
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 325
unit: fn visit_set_logic()
file: smt2parser/src/concrete.rs
start line: 794
end line: 796
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 326
unit: fn syntax_error()
file: smt2parser/src/concrete.rs
start line: 1059
end line: 1061
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 327
unit: fn parsing_error()
file: smt2parser/src/concrete.rs
start line: 1063
end line: 1065
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 328
unit: fn fmt()
file: smt2parser/src/concrete.rs
start line: 1125
end line: 1127
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 329
unit: fn visit_keyword()
file: smt2parser/src/visitors.rs
start line: 60
end line: 63
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 330
unit: fn bind_symbol()
file: smt2parser/src/rewriter.rs
start line: 138
end line: 140
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 331
unit: fn unbind_symbol()
file: smt2parser/src/rewriter.rs
start line: 142
end line: 144
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 332
unit: fn visit_numeral_constant()
file: smt2parser/src/rewriter.rs
start line: 525
end line: 527
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 333
unit: fn visit_decimal_constant()
file: smt2parser/src/rewriter.rs
start line: 528
end line: 530
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 334
unit: fn visit_hexadecimal_constant()
file: smt2parser/src/rewriter.rs
start line: 531
end line: 533
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 335
unit: fn visit_binary_constant()
file: smt2parser/src/rewriter.rs
start line: 534
end line: 536
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 336
unit: fn visit_string_constant()
file: smt2parser/src/rewriter.rs
start line: 537
end line: 539
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 337
unit: fn visit_fresh_symbol()
file: smt2parser/src/rewriter.rs
start line: 550
end line: 552
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 338
unit: fn visit_bound_symbol()
file: smt2parser/src/rewriter.rs
start line: 554
end line: 556
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 339
unit: fn visit_any_symbol()
file: smt2parser/src/rewriter.rs
start line: 558
end line: 560
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 340
unit: fn bind_symbol()
file: smt2parser/src/rewriter.rs
start line: 562
end line: 564
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 341
unit: fn unbind_symbol()
file: smt2parser/src/rewriter.rs
start line: 566
end line: 568
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 342
unit: fn visit_keyword()
file: smt2parser/src/rewriter.rs
start line: 579
end line: 581
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 343
unit: fn visit_constant_s_expr()
file: smt2parser/src/rewriter.rs
start line: 592
end line: 594
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 344
unit: fn visit_symbol_s_expr()
file: smt2parser/src/rewriter.rs
start line: 596
end line: 598
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 345
unit: fn visit_keyword_s_expr()
file: smt2parser/src/rewriter.rs
start line: 600
end line: 602
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 346
unit: fn visit_application_s_expr()
file: smt2parser/src/rewriter.rs
start line: 604
end line: 606
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 347
unit: fn visit_simple_sort()
file: smt2parser/src/rewriter.rs
start line: 617
end line: 619
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 348
unit: fn visit_constant()
file: smt2parser/src/rewriter.rs
start line: 663
end line: 665
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 349
unit: fn visit_assert()
file: smt2parser/src/rewriter.rs
start line: 731
end line: 733
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 350
unit: fn visit_check_sat()
file: smt2parser/src/rewriter.rs
start line: 735
end line: 737
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 351
unit: fn visit_echo()
file: smt2parser/src/rewriter.rs
start line: 818
end line: 820
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 352
unit: fn visit_exit()
file: smt2parser/src/rewriter.rs
start line: 822
end line: 824
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 353
unit: fn visit_get_assertions()
file: smt2parser/src/rewriter.rs
start line: 826
end line: 828
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 354
unit: fn visit_get_assignment()
file: smt2parser/src/rewriter.rs
start line: 830
end line: 832
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 355
unit: fn visit_get_info()
file: smt2parser/src/rewriter.rs
start line: 834
end line: 836
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 356
unit: fn visit_get_model()
file: smt2parser/src/rewriter.rs
start line: 838
end line: 840
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 357
unit: fn visit_get_option()
file: smt2parser/src/rewriter.rs
start line: 842
end line: 844
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 358
unit: fn visit_get_proof()
file: smt2parser/src/rewriter.rs
start line: 846
end line: 848
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 359
unit: fn visit_get_unsat_assumptions()
file: smt2parser/src/rewriter.rs
start line: 850
end line: 852
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 360
unit: fn visit_get_unsat_core()
file: smt2parser/src/rewriter.rs
start line: 854
end line: 856
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 361
unit: fn visit_get_value()
file: smt2parser/src/rewriter.rs
start line: 858
end line: 860
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 362
unit: fn visit_pop()
file: smt2parser/src/rewriter.rs
start line: 862
end line: 864
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 363
unit: fn visit_push()
file: smt2parser/src/rewriter.rs
start line: 866
end line: 868
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 364
unit: fn visit_reset()
file: smt2parser/src/rewriter.rs
start line: 870
end line: 872
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 365
unit: fn visit_reset_assertions()
file: smt2parser/src/rewriter.rs
start line: 874
end line: 876
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 366
unit: fn visit_set_logic()
file: smt2parser/src/rewriter.rs
start line: 886
end line: 888
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 367
unit: fn syntax_error()
file: smt2parser/src/rewriter.rs
start line: 914
end line: 916
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 368
unit: fn parsing_error()
file: smt2parser/src/rewriter.rs
start line: 918
end line: 920
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 369
unit: fn visitor()
file: smt2parser/src/renaming.rs
start line: 31
end line: 33
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 370
unit: fn syntax_error()
file: smt2parser/src/stats.rs
start line: 567
end line: 569
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 371
unit: fn parsing_error()
file: smt2parser/src/stats.rs
start line: 571
end line: 573
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 372
unit: fn peek_byte()
file: smt2parser/src/lexer.rs
start line: 172
end line: 174
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 373
unit: fn is_digit_byte()
file: smt2parser/src/lexer.rs
start line: 382
end line: 384
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 374
unit: fn bind_symbol()
file: smt2parser/src/visitors.rs
start line: 51
end line: 51
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 375
unit: fn unbind_symbol()
file: smt2parser/src/visitors.rs
start line: 53
end line: 53
size: 1 LOC
McCabe index: 1
number of parameters: 2