added a new (simplified) implementation for computing atomic subsumers;
probably should be polished