broccoli::analyze::assert
#[must_use]pub fn tree_invariants<'a>(a: &impl Queries<'a>) -> bool
Returns false if the tree's invariants are not met.