Fixed bug - using pop to get one member of set.
Removed inaccurate docstring.
Added some extra tests to ensure correct constraint passing.