Adapted tests to the new lifting API