liquidhaskell-0.5.0.0: tests/pos/selfList.hquals

qualif SelfSet(v : a, xs : [a]): (Set_mem v (listElts xs))