Macro assert_term_eq 

macro_rules! assert_term_eq {
    ($left:expr, $right:expr) => { ... };
    ($left:expr, $right:expr,) => { ... };
    ($left:expr, $right:expr, $($arg:tt)+) => { ... };
}

Assert that two expressions are alpha equivalent to each other (using BoundTerm::term_eq).

On panic, this macro will print the values of the expressions with their debug representations.

Like assert!, this macro has a second form, where a custom panic message can be provided.