fix corner case on the edge of mixed cardinality and list lifting
add unliftable tests