This mapping has 12 multi-map groups: several pairings are equally correct there. The code view shows one arbitrary valid pairing, not the only one.

Before

1test:main:zero-probe
2test:main:one-probe:1
3test:main:two-probe:2:3
4test:main:three-probe:4:5:7
5test:main:four-probe:7:8:9:10
6test:main:five-probe:11:12:13:14:15
7test:main:six-probe:16:17:18:19:20:21
8test:main:seven-probe:22:23:24:25:26:27:28
9test:main:eight-probe:29:30:31:32:33:34:35:36
10test:main:nine-probe:37:38:39:40:41:42:43:44:45
11test:main:eleven-probe:56:57:58:59:60:61:62:63:64:65
12test:main:twelve-probe:67:68:69:70:71:72:73:74:75:76
13
14

After

1test__prov$pid:test:main:zero-probe
2test__prov$pid:test:main:one-probe:1
3test__prov$pid:test:main:two-probe:2:3
4test__prov$pid:test:main:three-probe:4:5:7
5test__prov$pid:test:main:four-probe:7:8:9:10
6test__prov$pid:test:main:five-probe:11:12:13:14:15
7test__prov$pid:test:main:six-probe:16:17:18:19:20:21
8test__prov$pid:test:main:seven-probe:22:23:24:25:26:27:28
9test__prov$pid:test:main:eight-probe:29:30:31:32:33:34:35:36
10test__prov$pid:test:main:nine-probe:37:38:39:40:41:42:43:44:45
11test__prov$pid:test:main:eleven-probe:56:57:58:59:60:61:62:63:64:65
12test__prov$pid:test:main:twelve-probe:67:68:69:70:71:72:73:74:75:76
13
14

Before

program
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "zero"
- "-"
identifier "probe"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "one"
- "-"
binary_operator
identifier "probe"
: ":"
float "1"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "two"
- "-"
binary_operator
binary_operator
identifier "probe"
: ":"
float "2"
: ":"
float "3"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "three"
- "-"
binary_operator
binary_operator
binary_operator
identifier "probe"
: ":"
float "4"
: ":"
float "5"
: ":"
float "7"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "four"
- "-"
binary_operator
binary_operator
binary_operator
binary_operator
identifier "probe"
: ":"
float "7"
: ":"
float "8"
: ":"
float "9"
: ":"
float "10"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "five"
- "-"
binary_operator
binary_operator
binary_operator
binary_operator
binary_operator
identifier "probe"
: ":"
float "11"
: ":"
float "12"
: ":"
float "13"
: ":"
float "14"
: ":"
float "15"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "six"
- "-"
binary_operator
binary_operator
binary_operator
binary_operator
binary_operator
binary_operator
identifier "probe"
: ":"
float "16"
: ":"
float "17"
: ":"
float "18"
: ":"
float "19"
: ":"
float "20"
: ":"
float "21"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "seven"
- "-"
binary_operator (+22 nodes collapsed)
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "eight"
- "-"
binary_operator (+25 nodes collapsed)
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "nine"
- "-"
binary_operator (+28 nodes collapsed)
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "eleven"
- "-"
binary_operator (+31 nodes collapsed)
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
identifier "test"
: ":"
identifier "main"
: ":"
identifier "twelve"
- "-"
binary_operator (+31 nodes collapsed)

After

program
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "zero"
- "-"
identifier "probe"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "one"
- "-"
binary_operator
identifier "probe"
: ":"
float "1"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "two"
- "-"
binary_operator
binary_operator
identifier "probe"
: ":"
float "2"
: ":"
float "3"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "three"
- "-"
binary_operator
binary_operator
binary_operator
identifier "probe"
: ":"
float "4"
: ":"
float "5"
: ":"
float "7"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "four"
- "-"
binary_operator
binary_operator
binary_operator
binary_operator
identifier "probe"
: ":"
float "7"
: ":"
float "8"
: ":"
float "9"
: ":"
float "10"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "five"
- "-"
binary_operator
binary_operator
binary_operator
binary_operator
binary_operator
identifier "probe"
: ":"
float "11"
: ":"
float "12"
: ":"
float "13"
: ":"
float "14"
: ":"
float "15"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "six"
- "-"
binary_operator
binary_operator
binary_operator
binary_operator
binary_operator
binary_operator
identifier "probe"
: ":"
float "16"
: ":"
float "17"
: ":"
float "18"
: ":"
float "19"
: ":"
float "20"
: ":"
float "21"
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "seven"
- "-"
binary_operator (+22 nodes collapsed)
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "eight"
- "-"
binary_operator (+25 nodes collapsed)
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "nine"
- "-"
binary_operator (+28 nodes collapsed)
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "eleven"
- "-"
binary_operator (+31 nodes collapsed)
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
binary_operator any 3:4
extract_operator
identifier "test__prov"
$ "$"
identifier "pid"
: ":"
identifier "test"
: ":"
identifier "main"
: ":"
identifier "twelve"
- "-"
binary_operator (+31 nodes collapsed)