let is_var (a, b, _) = 
    Term.is_var a && Term.is_var b