Refactored lift into an expr_ck