Add layer-check-add: atomic layered check+add