Macro as_inference_fact_impl

macro_rules! as_inference_fact_impl {
    ($IM:ident, $IF: ident) => { ... };
}