Macro add_assertion 

macro_rules! add_assertion {
    ($name: expr, $trigger: expr, $condition: expr, $checker: expr, $keep_hist: expr, $hist_depth: expr) => { ... };
    ($name: expr, $trigger: expr, $condition: expr, $checker: expr) => { ... };
}