Strike redundant sub-sentence involving NDEBUG definition