added some sanity checks for is_equivalent
made modification to AbstractionSet.insert, but still seem to be duplicates, fix it