let is_full a =
  try
    (match d_interp a with
       | Sym.Full, [] -> true
       | _ -> false)
  with
      Not_found -> false