core tetra: prevent foreign imported supers from being partially applied