fix: Redundant type instantiation to check all places and avoid false positives (Alternative)

[Kamirus]

An alternative to #5605 (see the description there)
this variant avoids mutating the expression state when performing the redundant instantiation check.

Risks: coverage' must be disabled during that check, because PreLit is not allowed there. Are there any other places where PreLit would cause assert false exception?

[github-actions]

Comparing from 00bb412 to ad87d2f:
The produced WebAssembly code seems to be completely unchanged.
In terms of gas, no changes are observed in 5 tests.
In terms of size, no changes are observed in 5 tests.