Add more tests and testcases for membership

Analogous tests and examples to thhose for reverse
Refactoring of tests

Make tests faster
Additional testcase for membership
Intermediate