More assertions in C++ mixture api