Function modus_ponens::matching::get_real_matching

pub fn get_real_matching<'a>(
    matching: &MPMatching<'a>, 
    varmap: &MPMatching<'a>
) -> MPMatching<'a>