Macro match_term_app

macro_rules! match_term_app {
    ($e:expr; $body:tt) => { ... };
}