Fixing set membership
Added test for set membership
Checkstyle problems
Checkstyle again
Merge pull request #687 from kframework/fixing-set-membership

Fixing set membership