C++: Fix valuenumbering/GlobalValueNumbering following removal of aliased SSA

Author: igfoo

cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/ast_ir_gvn.expected

@@ -5,9 +5,8 @@
 | test.cpp:16:3:16:3 | GVN | 16:c3-c3 17:c3-c3 |
 | test.cpp:16:7:16:8 | GVN | 16:c7-c8 17:c7-c8 |
 | test.cpp:16:7:16:13 | GVN | 16:c7-c13 17:c7-c13 |
-| test.cpp:16:7:16:24 | GVN | 16:c7-c24 17:c7-c24 18:c7-c7 |
 | test.cpp:16:12:16:13 | GVN | 16:c12-c13 17:c12-c13 |
-| test.cpp:16:17:16:24 | GVN | 16:c17-c24 17:c17-c24 |
+| test.cpp:17:7:17:24 | GVN | 17:c7-c24 18:c7-c7 |
 | test.cpp:29:3:29:3 | GVN | 29:c3-c3 31:c3-c3 |
 | test.cpp:29:7:29:8 | GVN | 29:c7-c8 31:c7-c8 |
 | test.cpp:29:7:29:13 | GVN | 29:c7-c13 31:c7-c13 |
@@ -16,31 +15,19 @@
 | test.cpp:43:3:43:3 | GVN | 43:c3-c3 45:c3-c3 |
 | test.cpp:43:7:43:8 | GVN | 43:c7-c8 45:c7-c8 |
 | test.cpp:43:7:43:13 | GVN | 43:c7-c13 45:c7-c13 |
-| test.cpp:43:7:43:24 | GVN | 43:c7-c24 45:c7-c24 46:c7-c7 |
 | test.cpp:43:12:43:13 | GVN | 43:c12-c13 45:c12-c13 |
-| test.cpp:43:17:43:24 | GVN | 43:c17-c24 45:c17-c24 |
 | test.cpp:44:3:44:5 | GVN | 44:c3-c5 44:c4-c5 |
-| test.cpp:53:10:53:13 | GVN | 53:c10-c13 56:c21-c24 |
-| test.cpp:53:10:53:13 | GVN | 53:c10-c13 56:c21-c24 |
+| test.cpp:45:7:45:24 | GVN | 45:c7-c24 46:c7-c7 |
 | test.cpp:53:11:53:13 | GVN | 53:c11-c13 56:c22-c24 |
 | test.cpp:53:18:53:21 | GVN | 53:c18-c21 56:c39-c42 59:c17-c20 |
-| test.cpp:56:13:56:16 | GVN | 56:c13-c16 56:c31-c34 59:c9-c12 |
-| test.cpp:56:13:56:16 | GVN | 56:c13-c16 56:c31-c34 59:c9-c12 |
 | test.cpp:56:14:56:16 | GVN | 56:c14-c16 56:c32-c34 56:c47-c49 59:c10-c12 |
 | test.cpp:62:5:62:10 | GVN | 62:c5-c10 65:c10-c15 |
 | test.cpp:77:20:77:28 | GVN | 77:c20-c28 79:c7-c7 |
 | test.cpp:79:11:79:14 | GVN | 79:c11-c14 79:c24-c27 |
 | test.cpp:92:11:92:16 | GVN | 92:c11-c16 92:c15-c16 93:c10-c10 |
 | test.cpp:105:11:105:12 | GVN | 105:c11-c12 106:c33-c34 |
 | test.cpp:105:11:105:12 | GVN | 105:c11-c12 106:c33-c34 107:c11-c12 |
-| test.cpp:105:15:105:15 | GVN | 105:c15-c15 107:c15-c15 109:c10-c10 |
+| test.cpp:107:15:107:15 | GVN | 107:c15-c15 109:c10-c10 |
 | test.cpp:113:3:113:5 | GVN | 113:c3-c5 115:c3-c5 |
 | test.cpp:125:11:125:12 | GVN | 125:c11-c12 126:c11-c12 128:c3-c4 129:c11-c12 |
-| test.cpp:125:15:125:15 | GVN | 125:c15-c15 126:c15-c15 |
-| test.cpp:128:11:128:11 | GVN | 128:c11-c11 129:c15-c15 |
-| test.cpp:136:11:136:18 | GVN | 136:c11-c18 137:c11-c18 139:c3-c10 |
-| test.cpp:136:21:136:21 | GVN | 136:c21-c21 137:c21-c21 |
 | test.cpp:144:11:144:12 | GVN | 144:c11-c12 145:c11-c12 147:c3-c4 149:c11-c12 |
-| test.cpp:144:15:144:15 | GVN | 144:c15-c15 149:c15-c15 |
-| test.cpp:153:11:153:18 | GVN | 153:c11-c18 154:c11-c18 156:c3-c10 |
-| test.cpp:153:21:153:21 | GVN | 153:c21-c21 154:c21-c21 |