Macro aitia::assert_fact

macro_rules! assert_fact {
    ($ctx: expr, $fact: expr) => { ... };
}