let diseq n a =
  let s = get_context n in
  let a' = Context.can s a in
  try
    List.fold_right Term.Set.add (Context.d s a') Term.Set.empty
  with
      Not_found -> Term.Set.empty