let d_uninterp a =
  assert(is_uninterp a);
  let f,l = Term.App.destruct a in
    (f, l)