Fix possibility to trigger assert when looping through Intersection Types

[karl-police]

#1391

I don't know but adding id = follow(id) fixed the issue and when I compared the entryMap size with and without the intersection, the output was the same.

Though now regarding the Unit Test from that issue post, it's a modified version for the unit test for this one #1392

[aatxe]

Thanks for the PR. We've implemented this internally, and it'll be in the next release, but we chose it (since it's very minor) as the basis for introducing our versioning flag for the new solver. So, I'll close out this issue, but the 644 release will come with a flagged version of this additional follow.