Removed @sees
Exchanged ws_set_union call by ws_set_intersection
Fixed cleanup of ws_value_set_new()
Fixed ws_set initialisation in ws_value_set_init()