diff --git a/cpp/ql/lib/semmlecode.cpp.dbscheme.stats b/cpp/ql/lib/semmlecode.cpp.dbscheme.stats
index 143766a9eabe..9fb6b4e8acaa 100644
--- a/cpp/ql/lib/semmlecode.cpp.dbscheme.stats
+++ b/cpp/ql/lib/semmlecode.cpp.dbscheme.stats
@@ -42,7 +42,7 @@
@macro_expansion
- 33190741
+ 33190944
@other_macro_reference
@@ -370,7 +370,7 @@
@usertype
- 5224397
+ 5225328
@mangledname
@@ -966,7 +966,7 @@
@static_cast
- 215214
+ 215215
@reinterpret_cast
@@ -990,7 +990,7 @@
@noopexpr
- 88
+ 76
@istriviallyconstructibleexpr
@@ -1374,7 +1374,7 @@
@concept_id
- 2
+ 9
@lambdacapture
@@ -1430,7 +1430,7 @@
@stmt_decl
- 591926
+ 591930
@stmt_empty
@@ -2216,7 +2216,7 @@
seconds
- 10028
+ 9988
@@ -2297,17 +2297,22 @@
3
4
- 639
+ 719
4
5
- 359
+ 279
- 5
+ 6
+ 7
+ 119
+
+
+ 8
9
- 159
+ 119
9
@@ -2316,28 +2321,28 @@
10
- 11
+ 12
159
- 11
- 13
+ 12
+ 17
159
- 16
- 17
+ 17
+ 20
159
- 19
- 22
+ 21
+ 52
159
- 42
- 93
- 119
+ 86
+ 87
+ 39
@@ -2405,22 +2410,22 @@
3
4
- 1318
+ 1398
4
5
- 479
+ 359
5
6
- 279
+ 239
6
7
- 239
+ 359
7
@@ -2430,16 +2435,16 @@
8
9
- 279
+ 239
9
- 24
+ 23
279
24
- 91
+ 94
279
@@ -2488,21 +2493,16 @@
3
4
- 39
-
-
- 4
- 5
- 39
+ 79
- 134
- 135
+ 139
+ 140
39
- 137
- 138
+ 148
+ 149
39
@@ -2519,27 +2519,27 @@
1
2
- 5593
+ 5433
2
3
- 2197
+ 2237
3
4
- 1078
+ 1238
4
- 5
- 559
+ 6
+ 879
- 5
- 50
- 599
+ 6
+ 46
+ 199
@@ -2555,32 +2555,32 @@
1
2
- 4914
+ 4634
2
3
- 1797
+ 1917
3
4
- 1518
+ 1558
4
5
- 759
+ 839
5
- 8
- 759
+ 7
+ 799
- 8
- 76
- 279
+ 10
+ 73
+ 239
@@ -2596,12 +2596,12 @@
1
2
- 8949
+ 8270
2
3
- 1078
+ 1718
@@ -2945,7 +2945,7 @@
cpu_seconds
- 7221
+ 7052
elapsed_seconds
@@ -2995,17 +2995,17 @@
1
2
- 5824
+ 5576
2
3
- 923
+ 1013
3
- 12
- 473
+ 15
+ 461
@@ -3021,12 +3021,12 @@
1
2
- 6500
+ 6354
2
3
- 721
+ 698
@@ -3039,24 +3039,14 @@
12
-
- 1
- 2
- 11
-
2
3
- 11
-
-
- 3
- 4
- 11
+ 33
- 4
- 5
+ 5
+ 6
11
@@ -3064,34 +3054,34 @@
10
11
-
- 10
- 11
- 11
-
12
13
+ 22
+
+
+ 50
+ 51
11
- 51
- 52
+ 170
+ 171
11
- 178
- 179
- 22
+ 172
+ 173
+ 11
- 183
- 184
+ 174
+ 175
11
- 232
- 233
+ 253
+ 254
11
@@ -3105,24 +3095,14 @@
12
-
- 1
- 2
- 11
-
2
3
- 11
-
-
- 3
- 4
- 11
+ 33
- 4
- 5
+ 5
+ 6
11
@@ -3130,39 +3110,34 @@
10
11
-
- 10
- 11
- 11
-
12
13
- 11
+ 22
- 49
- 50
+ 48
+ 49
11
- 128
- 129
+ 119
+ 120
11
- 131
- 132
+ 121
+ 122
11
- 146
- 147
+ 134
+ 135
11
- 210
- 211
+ 222
+ 223
11
@@ -11858,7 +11833,7 @@
fileannotations
- 5119099
+ 5119131
id
@@ -12343,7 +12318,7 @@
1
2
- 45942
+ 45943
2
@@ -12700,19 +12675,19 @@
macroinvocations
- 33423519
+ 33423724
id
- 33423519
+ 33423724
macro_id
- 79323
+ 79324
location
- 758854
+ 758859
kind
@@ -12730,7 +12705,7 @@
1
2
- 33423519
+ 33423724
@@ -12746,7 +12721,7 @@
1
2
- 33423519
+ 33423724
@@ -12762,7 +12737,7 @@
1
2
- 33423519
+ 33423724
@@ -12849,7 +12824,7 @@
2
3
- 10375
+ 10376
3
@@ -12890,7 +12865,7 @@
1
2
- 73600
+ 73601
2
@@ -12911,17 +12886,17 @@
1
2
- 280658
+ 280660
2
3
- 169316
+ 169317
3
4
- 70592
+ 70593
4
@@ -12936,12 +12911,12 @@
8
17
- 62762
+ 62763
17
525
- 56915
+ 56916
534
@@ -12962,12 +12937,12 @@
1
2
- 712777
+ 712781
2
350
- 46077
+ 46078
@@ -12983,7 +12958,7 @@
1
2
- 758854
+ 758859
@@ -13056,15 +13031,15 @@
macroparent
- 29890367
+ 29890550
id
- 29890367
+ 29890550
parent_id
- 23240072
+ 23240214
@@ -13078,7 +13053,7 @@
1
2
- 29890367
+ 29890550
@@ -13094,17 +13069,17 @@
1
2
- 17956533
+ 17956643
2
3
- 4450564
+ 4450591
3
88
- 832973
+ 832979
@@ -13192,11 +13167,11 @@
macro_argument_unexpanded
- 84379058
+ 84379575
invocation
- 26161931
+ 26162091
argument_index
@@ -13204,7 +13179,7 @@
text
- 317667
+ 317669
@@ -13218,22 +13193,22 @@
1
2
- 7417487
+ 7417532
2
3
- 10652518
+ 10652583
3
4
- 6126955
+ 6126993
4
67
- 1964970
+ 1964982
@@ -13249,22 +13224,22 @@
1
2
- 7487505
+ 7487551
2
3
- 10798773
+ 10798839
3
4
- 5960962
+ 5960999
4
67
- 1914689
+ 1914701
@@ -13352,7 +13327,7 @@
5
7
- 23883
+ 23884
7
@@ -13362,7 +13337,7 @@
12
16
- 21472
+ 21473
16
@@ -13398,12 +13373,12 @@
1
2
- 229736
+ 229737
2
3
- 77667
+ 77668
3
@@ -13418,11 +13393,11 @@
macro_argument_expanded
- 84379058
+ 84379575
invocation
- 26161931
+ 26162091
argument_index
@@ -13430,7 +13405,7 @@
text
- 192513
+ 192514
@@ -13444,22 +13419,22 @@
1
2
- 7417487
+ 7417532
2
3
- 10652518
+ 10652583
3
4
- 6126955
+ 6126993
4
67
- 1964970
+ 1964982
@@ -13475,22 +13450,22 @@
1
2
- 10667253
+ 10667319
2
3
- 9183319
+ 9183375
3
4
- 5197781
+ 5197813
4
9
- 1113576
+ 1113582
@@ -13558,7 +13533,7 @@
1
2
- 20751
+ 20752
2
@@ -13634,7 +13609,7 @@
2
3
- 80709
+ 80710
3
@@ -15357,6 +15332,132 @@
+
+ fun_requires
+ 4
+
+
+ id
+ 3
+
+
+ kind
+ 2
+
+
+ constraint
+ 4
+
+
+
+
+ id
+ kind
+
+
+ 12
+
+
+ 1
+ 2
+ 2
+
+
+ 2
+ 3
+ 1
+
+
+
+
+
+
+ id
+ constraint
+
+
+ 12
+
+
+ 1
+ 2
+ 2
+
+
+ 2
+ 3
+ 1
+
+
+
+
+
+
+ kind
+ id
+
+
+ 12
+
+
+ 2
+ 3
+ 2
+
+
+
+
+
+
+ kind
+ constraint
+
+
+ 12
+
+
+ 2
+ 3
+ 2
+
+
+
+
+
+
+ constraint
+ id
+
+
+ 12
+
+
+ 1
+ 2
+ 4
+
+
+
+
+
+
+ constraint
+ kind
+
+
+ 12
+
+
+ 1
+ 2
+ 4
+
+
+
+
+
+
+
param_decl_bind
6974708
@@ -16322,6 +16423,54 @@
+
+ var_requires
+ 1
+
+
+ id
+ 1
+
+
+ constraint
+ 1
+
+
+
+
+ id
+ constraint
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+ constraint
+ id
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+
type_decls
3279504
@@ -16480,6 +16629,54 @@
+
+ type_requires
+ 1
+
+
+ id
+ 1
+
+
+ constraint
+ 1
+
+
+
+
+ id
+ constraint
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+ constraint
+ id
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+
namespace_decls
311433
@@ -17129,7 +17326,7 @@
using_container
- 465860
+ 465863
parent
@@ -17137,7 +17334,7 @@
child
- 295394
+ 295396
@@ -17207,12 +17404,12 @@
1
2
- 217873
+ 217874
2
3
- 51620
+ 51621
3
@@ -18358,7 +18555,7 @@
1
2
- 119726
+ 119727
2
@@ -18829,7 +19026,7 @@
2
3
- 5359
+ 5364
3
@@ -18839,7 +19036,7 @@
4
7
- 3379
+ 3374
7
@@ -18865,7 +19062,7 @@
1
2
- 26894
+ 26899
2
@@ -18875,7 +19072,7 @@
3
5
- 2917
+ 2912
5
@@ -21495,15 +21692,15 @@
typedefbase
- 1682711
+ 1682722
id
- 1682711
+ 1682722
type_id
- 791886
+ 791891
@@ -21517,7 +21714,7 @@
1
2
- 1682711
+ 1682722
@@ -21533,17 +21730,17 @@
1
2
- 616159
+ 616163
2
3
- 83086
+ 83087
3
6
- 61906
+ 61907
6
@@ -21844,11 +22041,11 @@
usertypes
- 5224397
+ 5225328
id
- 5224397
+ 5225328
name
@@ -21870,7 +22067,7 @@
1
2
- 5224397
+ 5225328
@@ -21886,7 +22083,7 @@
1
2
- 5224397
+ 5225328
@@ -21943,12 +22140,12 @@
2
3
- 125221
+ 124756
3
7
- 14896
+ 15361
@@ -21982,8 +22179,8 @@
465
- 133
- 134
+ 135
+ 136
465
@@ -22048,8 +22245,8 @@
465
- 41
- 42
+ 43
+ 44
465
@@ -22090,11 +22287,11 @@
usertypesize
- 1701432
+ 1702363
id
- 1701432
+ 1702363
size
@@ -22116,7 +22313,7 @@
1
2
- 1701432
+ 1702363
@@ -22132,7 +22329,7 @@
1
2
- 1701432
+ 1702363
@@ -22187,7 +22384,7 @@
740
- 2470
+ 2472
931
@@ -22248,8 +22445,8 @@
465
- 3209
- 3210
+ 3211
+ 3212
465
@@ -22369,13 +22566,66 @@
+
+ type_template_type_constraint
+ 3
+
+
+ id
+ 2
+
+
+ constraint
+ 3
+
+
+
+
+ id
+ constraint
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+ 2
+ 3
+ 1
+
+
+
+
+
+
+ constraint
+ id
+
+
+ 12
+
+
+ 1
+ 2
+ 3
+
+
+
+
+
+
+
mangled_name
- 8993151
+ 8994082
id
- 8993151
+ 8994082
mangled_name
@@ -22397,7 +22647,7 @@
1
2
- 8993151
+ 8994082
@@ -22413,7 +22663,7 @@
1
2
- 8993151
+ 8994082
@@ -22464,8 +22714,8 @@
12
- 19319
- 19320
+ 19321
+ 19322
465
@@ -22492,33 +22742,33 @@
is_pod_class
- 533636
+ 533639
id
- 533636
+ 533639
is_standard_layout_class
- 1250354
+ 1251285
id
- 1250354
+ 1251285
is_complete
- 1640916
+ 1641847
id
- 1640916
+ 1641847
@@ -22624,11 +22874,11 @@
class_template_argument
- 2882664
+ 2882682
type_id
- 1313006
+ 1313014
index
@@ -22636,7 +22886,7 @@
arg_type
- 840961
+ 840966
@@ -22650,17 +22900,17 @@
1
2
- 537771
+ 537774
2
3
- 399176
+ 399179
3
4
- 230806
+ 230807
4
@@ -22686,17 +22936,17 @@
1
2
- 564325
+ 564328
2
3
- 410397
+ 410400
3
4
- 244370
+ 244372
4
@@ -22809,12 +23059,12 @@
1
2
- 523868
+ 523872
2
3
- 174408
+ 174409
3
@@ -22829,7 +23079,7 @@
10
10265
- 27353
+ 27354
@@ -22845,7 +23095,7 @@
1
2
- 747070
+ 747075
2
@@ -23036,15 +23286,15 @@
is_proxy_class_for
- 61912
+ 62843
id
- 61912
+ 62843
templ_param_id
- 61912
+ 62843
@@ -23058,7 +23308,7 @@
1
2
- 61912
+ 62843
@@ -23074,7 +23324,7 @@
1
2
- 61912
+ 62843
@@ -24888,15 +25138,15 @@
concept_instantiation
- 2
+ 9
to
- 2
+ 9
from
- 1
+ 2
@@ -24910,7 +25160,7 @@
1
2
- 2
+ 9
@@ -24928,6 +25178,11 @@
3
1
+
+ 7
+ 8
+ 1
+
@@ -24936,22 +25191,22 @@
is_type_constraint
- 1
+ 3
concept_id
- 1
+ 3
concept_template_argument
- 8
+ 20
concept_id
- 5
+ 11
index
@@ -24959,7 +25214,7 @@
arg_type
- 6
+ 11
@@ -24978,7 +25233,7 @@
2
3
- 3
+ 9
@@ -24994,7 +25249,7 @@
1
2
- 4
+ 10
2
@@ -25013,13 +25268,13 @@
12
- 3
- 4
+ 9
+ 10
1
- 5
- 6
+ 11
+ 12
1
@@ -25034,13 +25289,13 @@
12
- 3
- 4
+ 8
+ 9
1
- 5
- 6
+ 10
+ 11
1
@@ -25057,7 +25312,12 @@
1
2
- 6
+ 10
+
+
+ 2
+ 3
+ 1
@@ -25078,7 +25338,7 @@
2
3
- 2
+ 7
@@ -25088,11 +25348,11 @@
concept_template_argument_value
- 3
+ 9
type_id
- 3
+ 9
index
@@ -25100,7 +25360,7 @@
arg_value
- 3
+ 9
@@ -25114,7 +25374,7 @@
1
2
- 3
+ 9
@@ -25130,7 +25390,7 @@
1
2
- 3
+ 9
@@ -25144,8 +25404,8 @@
12
- 3
- 4
+ 9
+ 10
1
@@ -25160,8 +25420,8 @@
12
- 3
- 4
+ 9
+ 10
1
@@ -25178,7 +25438,7 @@
1
2
- 3
+ 9
@@ -25194,7 +25454,7 @@
1
2
- 3
+ 9
@@ -25747,11 +26007,11 @@
typespecifiers
- 1128857
+ 1129788
type_id
- 1110702
+ 1111633
spec_id
@@ -25769,7 +26029,7 @@
1
2
- 1092547
+ 1093478
2
@@ -25815,7 +26075,12 @@
219
220
- 931
+ 465
+
+
+ 221
+ 222
+ 465
1701
@@ -25830,7 +26095,7 @@
funspecifiers
- 10274695
+ 10275161
func_id
@@ -25857,12 +26122,12 @@
2
3
- 639142
+ 638677
3
4
- 982222
+ 982687
4
@@ -25971,8 +26236,8 @@
465
- 6434
- 6435
+ 6435
+ 6436
465
@@ -27652,15 +27917,15 @@
unspecifiedtype
- 9466107
+ 9467039
type_id
- 9466107
+ 9467039
unspecified_type_id
- 6477080
+ 6478011
@@ -27674,7 +27939,7 @@
1
2
- 9466107
+ 9467039
@@ -27690,7 +27955,7 @@
1
2
- 4551273
+ 4552204
2
@@ -32896,11 +33161,11 @@
id
- 18321462
+ 18321461
typeid
- 1212638
+ 1212645
value_category
@@ -32918,12 +33183,12 @@
1
2
- 18190111
+ 18190110
2
3
- 131350
+ 131351
@@ -32939,7 +33204,7 @@
1
2
- 18321462
+ 18321461
@@ -32955,17 +33220,17 @@
1
2
- 437717
+ 437720
2
3
- 248843
+ 248844
3
4
- 102689
+ 102690
4
@@ -32975,7 +33240,7 @@
5
8
- 109223
+ 109224
8
@@ -33006,12 +33271,12 @@
1
2
- 1048582
+ 1048589
2
3
- 153882
+ 153883
3
@@ -33040,8 +33305,8 @@
11
- 1242905
- 1242906
+ 1242895
+ 1242896
11
@@ -37379,7 +37644,7 @@
1
2
- 580403
+ 580404
2