Add KItem subsorts to the disambiguation module when parsing programs
#3554
| Job | Run time |
|---|---|
| 5m 1s | |
| 16m 12s | |
| 11s | |
| 25m 16s | |
| 20s | |
| 26m 44s | |
| 26m 32s | |
| 11m 44s | |
| 1h 52m 0s |