pub fn count_max_degree<U: Uair>() -> usize
Compute the maximum number of multiplicands in products of witness elements in the UAIR U.
U