let is_eps a =
  match d_interp a with
    | Some(Const b, []) -> Bitv.length b = 0
    | _ -> false