Poorly executed migrations often create "transliterated" code ... Take a Java example: to resolve a.b.c, we need to know the type of a.b. To determine that type, we must first resolve b inside a. The ...