let is_interp a =
  match a with
    | Term.App(sym, _, _) -> Sym.theory_of sym = Th.la
    | _ -> false