Single non-main Units get printed
Imports show to fresh Modules during MethodLifting
Imports show to fresh Modules after RestoreMethods
Literal patterns