fixed AbstractionSet.insert to not have duplicate abstractions