adding listMem (via partition)
can not prove membership
Merge pull request #73 from ucsd-progsys/listMem

List element via partition