let d_select a =
  match d_interp a with
    | Sym.Select, [a; j] -> (a, j)
    | _ -> raise Not_found