Function assert_consistent_term_impl 

pub fn assert_consistent_term_impl<T>(t: &T)
where
    T: Term + Clone,

Test that the given term is consistent in its implementation of the Term trait.

NB: it may be necessary to explicitly specify the parameter T, even when the type of t is known. E.g.: assert_consistent_term_impl::<MyTerm>(&t).