Bug fixes related to auto-lifting implementations, apply virtualization