Improve TR's overlap checking for StructTop types

Closes PR 14458