let is_interp a =
  try
    (match d_interp a with
       | Sym.Const _, [] -> true
       | Sym.Sub _, [_] -> true
       | Sym.Conc _, [_; _] -> true
       | _ -> false)
  with
      Not_found -> false