let display_operations_spec_sorted_bycase () =
  display_operations_spec__ true true