add unliftable tests
add support for non-zero cardinality unlifting