let is_const a =
  match d_interp a with
    | Some(Const _, []) -> true
    | _ -> false