let is_macro d = match d.d_item with
  | FunctionDef _ | PredicateDef _ -> true
  | _ -> false