let d_update a =
  match d_interp a with
    | Sym.Update, [b; i; x] -> (b, i, x)
    | _ -> raise Not_found