Add comments to the subsumption algorithms