let d_interp = function
  | App(Bv(op), l) -> Some(op, l)
  | _ -> None