Function try_merge_terms 

fn try_merge_terms(a: &Term, b: &Term) -> Option<Term>