c++: constexpr-evaluate more assumes