let d_interp = function
  | App(sym, al, _) -> (Sym.Array.get sym, al)
  | _ -> raise Not_found