pub fn find_term_mut<'a, M: Matcher>(
    trace: &'a mut Trace<M>,
    trace_path: &TracePath
) -> Option<&'a mut Term<M>>