diff --git a/cpp/ql/lib/semmlecode.cpp.dbscheme.stats b/cpp/ql/lib/semmlecode.cpp.dbscheme.stats
index 1fb8635d9e28..4f2222cb45d1 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
- 5225059
+ 5225328
@mangledname
@@ -380,6 +380,10 @@
@type_mention
4029456
+
+ @concept_template
+ 3
+
@routinetype
532576
@@ -962,7 +966,7 @@
@static_cast
- 215214
+ 215215
@reinterpret_cast
@@ -1426,7 +1430,7 @@
@stmt_decl
- 591926
+ 591930
@stmt_empty
@@ -2212,7 +2216,7 @@
seconds
- 9908
+ 9549
@@ -2293,17 +2297,17 @@
3
4
- 639
+ 559
4
5
- 359
+ 439
- 6
- 7
- 119
+ 5
+ 8
+ 159
8
@@ -2311,35 +2315,30 @@
119
- 10
+ 9
11
119
11
- 13
+ 15
159
- 13
- 17
+ 16
+ 18
119
- 17
+ 18
21
159
- 21
- 51
+ 23
+ 87
159
-
- 81
- 82
- 39
-
@@ -2416,32 +2415,32 @@
5
6
- 159
+ 239
6
7
- 519
+ 359
7
- 9
- 279
+ 8
+ 159
- 9
- 18
+ 8
+ 9
279
- 22
- 46
+ 9
+ 24
279
- 88
- 89
- 39
+ 27
+ 86
+ 239
@@ -2489,21 +2488,16 @@
3
4
- 39
-
-
- 4
- 5
- 39
+ 79
- 140
- 141
+ 128
+ 129
39
- 150
- 151
+ 142
+ 143
39
@@ -2520,27 +2514,27 @@
1
2
- 5274
+ 4914
2
3
- 2437
+ 2237
3
4
- 1038
+ 1278
4
- 5
- 759
+ 6
+ 799
- 5
- 47
- 399
+ 6
+ 48
+ 319
@@ -2556,32 +2550,32 @@
1
2
- 4195
+ 4474
2
3
- 2517
+ 1957
3
4
- 1398
+ 958
4
5
- 839
+ 879
5
- 9
- 839
+ 6
+ 559
- 21
- 77
- 119
+ 6
+ 74
+ 719
@@ -2597,12 +2591,12 @@
1
2
- 7951
+ 8070
2
3
- 1957
+ 1478
@@ -2946,11 +2940,11 @@
cpu_seconds
- 7142
+ 7187
elapsed_seconds
- 135
+ 146
@@ -2996,17 +2990,17 @@
1
2
- 5689
+ 5711
2
3
- 912
+ 1025
3
- 13
- 540
+ 18
+ 450
@@ -3022,12 +3016,12 @@
1
2
- 6432
+ 6365
2
3
- 709
+ 822
@@ -3040,24 +3034,29 @@
12
+
+ 1
+ 2
+ 33
+
2
3
- 33
+ 11
- 4
- 5
+ 3
+ 4
11
- 7
- 8
+ 10
+ 11
11
- 12
- 13
+ 13
+ 14
11
@@ -3071,23 +3070,23 @@
11
- 158
- 159
+ 164
+ 165
11
- 168
- 169
+ 170
+ 171
11
- 183
- 184
+ 181
+ 182
11
- 259
- 260
+ 251
+ 252
11
@@ -3101,24 +3100,29 @@
12
+
+ 1
+ 2
+ 33
+
2
3
- 33
+ 11
- 4
- 5
+ 3
+ 4
11
- 7
- 8
+ 10
+ 11
11
- 12
- 13
+ 13
+ 14
11
@@ -3127,28 +3131,28 @@
11
- 52
- 53
+ 51
+ 52
11
- 108
- 109
+ 116
+ 117
11
- 123
- 124
+ 130
+ 131
11
- 141
- 142
+ 145
+ 146
11
- 230
- 231
+ 224
+ 225
11
@@ -11844,7 +11848,7 @@
fileannotations
- 5119099
+ 5119131
id
@@ -12329,7 +12333,7 @@
1
2
- 45942
+ 45943
2
@@ -12686,19 +12690,19 @@
macroinvocations
- 33423519
+ 33423724
id
- 33423519
+ 33423724
macro_id
- 79323
+ 79324
location
- 758854
+ 758859
kind
@@ -12716,7 +12720,7 @@
1
2
- 33423519
+ 33423724
@@ -12732,7 +12736,7 @@
1
2
- 33423519
+ 33423724
@@ -12748,7 +12752,7 @@
1
2
- 33423519
+ 33423724
@@ -12835,7 +12839,7 @@
2
3
- 10375
+ 10376
3
@@ -12876,7 +12880,7 @@
1
2
- 73600
+ 73601
2
@@ -12897,17 +12901,17 @@
1
2
- 280658
+ 280660
2
3
- 169316
+ 169317
3
4
- 70592
+ 70593
4
@@ -12922,12 +12926,12 @@
8
17
- 62762
+ 62763
17
525
- 56915
+ 56916
534
@@ -12948,12 +12952,12 @@
1
2
- 712777
+ 712781
2
350
- 46077
+ 46078
@@ -12969,7 +12973,7 @@
1
2
- 758854
+ 758859
@@ -13042,15 +13046,15 @@
macroparent
- 29890367
+ 29890550
id
- 29890367
+ 29890550
parent_id
- 23240072
+ 23240214
@@ -13064,7 +13068,7 @@
1
2
- 29890367
+ 29890550
@@ -13080,17 +13084,17 @@
1
2
- 17956533
+ 17956643
2
3
- 4450564
+ 4450591
3
88
- 832973
+ 832979
@@ -13178,11 +13182,11 @@
macro_argument_unexpanded
- 84379058
+ 84379575
invocation
- 26161931
+ 26162091
argument_index
@@ -13190,7 +13194,7 @@
text
- 317667
+ 317669
@@ -13204,22 +13208,22 @@
1
2
- 7417487
+ 7417532
2
3
- 10652518
+ 10652583
3
4
- 6126955
+ 6126993
4
67
- 1964970
+ 1964982
@@ -13235,22 +13239,22 @@
1
2
- 7487505
+ 7487551
2
3
- 10798773
+ 10798839
3
4
- 5960962
+ 5960999
4
67
- 1914689
+ 1914701
@@ -13338,7 +13342,7 @@
5
7
- 23883
+ 23884
7
@@ -13348,7 +13352,7 @@
12
16
- 21472
+ 21473
16
@@ -13384,12 +13388,12 @@
1
2
- 229736
+ 229737
2
3
- 77667
+ 77668
3
@@ -13404,11 +13408,11 @@
macro_argument_expanded
- 84379058
+ 84379575
invocation
- 26161931
+ 26162091
argument_index
@@ -13416,7 +13420,7 @@
text
- 192513
+ 192514
@@ -13430,22 +13434,22 @@
1
2
- 7417487
+ 7417532
2
3
- 10652518
+ 10652583
3
4
- 6126955
+ 6126993
4
67
- 1964970
+ 1964982
@@ -13461,22 +13465,22 @@
1
2
- 10667253
+ 10667319
2
3
- 9183319
+ 9183375
3
4
- 5197781
+ 5197813
4
9
- 1113576
+ 1113582
@@ -13544,7 +13548,7 @@
1
2
- 20751
+ 20752
2
@@ -13620,7 +13624,7 @@
2
3
- 80709
+ 80710
3
@@ -17104,7 +17108,7 @@
using_container
- 465860
+ 465863
parent
@@ -17112,7 +17116,7 @@
child
- 295394
+ 295396
@@ -17182,12 +17186,12 @@
1
2
- 217873
+ 217874
2
3
- 51620
+ 51621
3
@@ -21470,15 +21474,15 @@
typedefbase
- 1682711
+ 1682722
id
- 1682711
+ 1682722
type_id
- 791886
+ 791891
@@ -21492,7 +21496,7 @@
1
2
- 1682711
+ 1682722
@@ -21508,17 +21512,17 @@
1
2
- 616159
+ 616163
2
3
- 83086
+ 83087
3
6
- 61906
+ 61907
6
@@ -21819,19 +21823,19 @@
usertypes
- 5225059
+ 5225328
id
- 5225059
+ 5225328
name
- 1348747
+ 1348577
kind
- 5121
+ 5120
@@ -21845,7 +21849,7 @@
1
2
- 5225059
+ 5225328
@@ -21861,7 +21865,7 @@
1
2
- 5225059
+ 5225328
@@ -21877,27 +21881,27 @@
1
2
- 980949
+ 980825
2
3
- 153171
+ 153152
3
7
- 104287
+ 104273
7
61
- 101493
+ 101480
65
874
- 8845
+ 8844
@@ -21913,17 +21917,17 @@
1
2
- 1208612
+ 1208459
2
3
- 125237
+ 124756
3
7
- 14898
+ 15361
@@ -21957,8 +21961,8 @@
465
- 133
- 134
+ 135
+ 136
465
@@ -22023,8 +22027,8 @@
465
- 41
- 42
+ 43
+ 44
465
@@ -22065,15 +22069,15 @@
usertypesize
- 1701647
+ 1702363
id
- 1701647
+ 1702363
size
- 13501
+ 13499
alignment
@@ -22091,7 +22095,7 @@
1
2
- 1701647
+ 1702363
@@ -22107,7 +22111,7 @@
1
2
- 1701647
+ 1702363
@@ -22128,7 +22132,7 @@
2
3
- 4190
+ 4189
3
@@ -22162,7 +22166,7 @@
740
- 2470
+ 2472
931
@@ -22179,7 +22183,7 @@
1
2
- 10242
+ 10241
2
@@ -22223,8 +22227,8 @@
465
- 3209
- 3210
+ 3211
+ 3212
465
@@ -22467,33 +22471,33 @@
is_pod_class
- 533636
+ 533639
id
- 533636
+ 533639
is_standard_layout_class
- 1250513
+ 1251285
id
- 1250513
+ 1251285
is_complete
- 1641123
+ 1641847
id
- 1641123
+ 1641847
@@ -22599,11 +22603,11 @@
class_template_argument
- 2882664
+ 2882682
type_id
- 1313006
+ 1313014
index
@@ -22611,7 +22615,7 @@
arg_type
- 840961
+ 840966
@@ -22625,17 +22629,17 @@
1
2
- 537771
+ 537774
2
3
- 399176
+ 399179
3
4
- 230806
+ 230807
4
@@ -22661,17 +22665,17 @@
1
2
- 564325
+ 564328
2
3
- 410397
+ 410400
3
4
- 244370
+ 244372
4
@@ -22784,12 +22788,12 @@
1
2
- 523868
+ 523872
2
3
- 174408
+ 174409
3
@@ -22804,7 +22808,7 @@
10
10265
- 27353
+ 27354
@@ -22820,7 +22824,7 @@
1
2
- 747070
+ 747075
2
@@ -23011,15 +23015,15 @@
is_proxy_class_for
- 61920
+ 62843
id
- 61920
+ 62843
templ_param_id
- 61920
+ 62843
@@ -23033,7 +23037,7 @@
1
2
- 61920
+ 62843
@@ -23049,7 +23053,7 @@
1
2
- 61920
+ 62843
@@ -24746,22 +24750,26 @@
- routinetypes
- 532576
+ concept_templates
+ 3
- id
- 532576
+ concept_id
+ 3
- return_type
- 277460
+ name
+ 3
+
+
+ location
+ 3
- id
- return_type
+ concept_id
+ name
12
@@ -24769,15 +24777,15 @@
1
2
- 532576
+ 3
- return_type
- id
+ concept_id
+ location
12
@@ -24785,45 +24793,15 @@
1
2
- 241585
-
-
- 2
- 3
- 20794
-
-
- 3
- 3595
- 15079
+ 3
-
-
-
- routinetypeargs
- 980484
-
-
- routine
- 422269
-
-
- index
- 7914
-
-
- type_id
- 226265
-
-
-
- routine
- index
+ name
+ concept_id
12
@@ -24831,35 +24809,15 @@
1
2
- 152240
-
-
- 2
- 3
- 133617
-
-
- 3
- 4
- 63317
-
-
- 4
- 5
- 45625
-
-
- 5
- 18
- 27468
+ 3
- routine
- type_id
+ name
+ location
12
@@ -24867,14 +24825,428 @@
1
2
- 182036
-
-
- 2
- 3
- 133152
+ 3
-
+
+
+
+
+
+ location
+ concept_id
+
+
+ 12
+
+
+ 1
+ 2
+ 3
+
+
+
+
+
+
+ location
+ name
+
+
+ 12
+
+
+ 1
+ 2
+ 3
+
+
+
+
+
+
+
+
+ concept_template_argument
+ 4
+
+
+ concept_id
+ 3
+
+
+ index
+ 2
+
+
+ arg_type
+ 4
+
+
+
+
+ concept_id
+ index
+
+
+ 12
+
+
+ 1
+ 2
+ 2
+
+
+ 2
+ 3
+ 1
+
+
+
+
+
+
+ concept_id
+ arg_type
+
+
+ 12
+
+
+ 1
+ 2
+ 2
+
+
+ 2
+ 3
+ 1
+
+
+
+
+
+
+ index
+ concept_id
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+ 3
+ 4
+ 1
+
+
+
+
+
+
+ index
+ arg_type
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+ 3
+ 4
+ 1
+
+
+
+
+
+
+ arg_type
+ concept_id
+
+
+ 12
+
+
+ 1
+ 2
+ 4
+
+
+
+
+
+
+ arg_type
+ index
+
+
+ 12
+
+
+ 1
+ 2
+ 4
+
+
+
+
+
+
+
+
+ concept_template_argument_value
+ 1
+
+
+ type_id
+ 1
+
+
+ index
+ 1
+
+
+ arg_value
+ 1
+
+
+
+
+ type_id
+ index
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+ type_id
+ arg_value
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+ index
+ type_id
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+ index
+ arg_value
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+ arg_value
+ type_id
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+ arg_value
+ index
+
+
+ 12
+
+
+ 1
+ 2
+ 1
+
+
+
+
+
+
+
+
+ routinetypes
+ 532576
+
+
+ id
+ 532576
+
+
+ return_type
+ 277460
+
+
+
+
+ id
+ return_type
+
+
+ 12
+
+
+ 1
+ 2
+ 532576
+
+
+
+
+
+
+ return_type
+ id
+
+
+ 12
+
+
+ 1
+ 2
+ 241585
+
+
+ 2
+ 3
+ 20794
+
+
+ 3
+ 3595
+ 15079
+
+
+
+
+
+
+
+
+ routinetypeargs
+ 980484
+
+
+ routine
+ 422269
+
+
+ index
+ 7914
+
+
+ type_id
+ 226265
+
+
+
+
+ routine
+ index
+
+
+ 12
+
+
+ 1
+ 2
+ 152240
+
+
+ 2
+ 3
+ 133617
+
+
+ 3
+ 4
+ 63317
+
+
+ 4
+ 5
+ 45625
+
+
+ 5
+ 18
+ 27468
+
+
+
+
+
+
+ routine
+ type_id
+
+
+ 12
+
+
+ 1
+ 2
+ 182036
+
+
+ 2
+ 3
+ 133152
+
+
3
4
58661
@@ -25290,11 +25662,11 @@
typespecifiers
- 1129000
+ 1129788
type_id
- 1110843
+ 1111633
spec_id
@@ -25312,12 +25684,12 @@
1
2
- 1092685
+ 1093478
2
3
- 18157
+ 18154
@@ -25358,7 +25730,12 @@
219
220
- 931
+ 465
+
+
+ 221
+ 222
+ 465
1701
@@ -30615,7 +30992,7 @@
fun
- 509941
+ 509922
@@ -30650,12 +31027,12 @@
1
2
- 314199
+ 314161
2
3
- 77701
+ 77720
3
@@ -32435,15 +32812,15 @@
expr_types
- 18452857
+ 18452812
id
- 18321462
+ 18321461
typeid
- 1212638
+ 1212645
value_category
@@ -32461,12 +32838,12 @@
1
2
- 18190066
+ 18190110
2
3
- 131395
+ 131351
@@ -32482,7 +32859,7 @@
1
2
- 18321462
+ 18321461
@@ -32498,17 +32875,17 @@
1
2
- 437717
+ 437720
2
3
- 248843
+ 248844
3
4
- 102689
+ 102690
4
@@ -32518,7 +32895,7 @@
5
8
- 109223
+ 109224
8
@@ -32549,12 +32926,12 @@
1
2
- 1048582
+ 1048589
2
3
- 153882
+ 153883
3
@@ -32583,8 +32960,8 @@
11
- 1242905
- 1242906
+ 1242895
+ 1242896
11