Fix: correct_binary_operator_1

Fix for bug:

wrong_binary_operator_1

Parameters:

• correct_operator: operator (not found)

Then:

(**@bug
  operator: @correct_operator)

Applications of this fix:

• correct_binary_operator_1_closure_62
• correct_binary_operator_1_closure_73
• correct_binary_operator_1_compress_19
• correct_binary_operator_1_core_14_1
• correct_binary_operator_1_core_14_2
• correct_binary_operator_1_jackson_core_25

Raw json