Imports show to fresh Modules during MethodLifting