Add missing error messages
Add unit test for known sets and remove index_in_knownset from values