Add assertions about MultipleRootedProducts