Simplify testLiftedCallback