let display_operations_spec_bycase () =
  display_operations_spec__ false true