Function count_constraints 

pub fn count_constraints<U: Uair>() -> usize

Get the number of polynomial constraints in a Uair.