assertion          95 src/secOrd_op_rhs_impl.cpp void Rhs_fun::dassert(const bool assertion, const std::string& msg){
assertion          97 src/secOrd_op_rhs_impl.cpp     (assertion, msg);
assertion          69 src/secOrd_op_rhs_impl.h       void dassert(const bool assertion, const std::string& msg);