Add test for pointer lifting.