fn eq_term(l: &Term, r: &Term) -> bool