S>                        if(s && s->root()->is_evaluated() && s->root()->value()) 
S>                            if(s->_ndx!=ndx){      
S>                            }

// сворачивается в один if

S>               *std::remove(nstore().begin_done(), nstore().end_done(), nullptr) = nullptr ;

// что здесь должно происходить?

S>