Fixed PropIntMemberSet
Merge pull request #108 from JLiangWaterloo/fix-propintmemberset

Fixed PropIntMemberSet

Indeed I missed a return statement after line 169
Your fix does the job, thanks
We are refactoring propagators so that most of them become idempotent, 
I hope it is the only bug I have introduced...