[*] Test#4 bug in TypeEater is resolved
    - while resolving type of variable., TypeEater get substitution type instead of real, so all user types will be from tests assembly

Test still failed