let d_interp a =
  match a with
   | Term.App(sym, al, _) -> (Sym.Cl.get sym, al)
   | _ -> raise Not_found