set operation sanity tests