Membership tests and fix

Created by: aydun

I've added some tests for memberships in the first commit which shows a problem. The second commit fixes that.

For background, see analysis by @wmortada in #42 (closed)