let is_bitwise a =
  match d_interp a with
    | Some(Bitwise _, [_;_;_]) -> true
    | _ -> false