HOL-ex.Transfer_Debug