Added basic create subset function. Modified empty_set
Added count and check_state functions
Additional tests to verify find_or_create, and create_subset. As well as to verify that subset functions also work expectedly