Fix: correct_argument_in_call_1

Fix for bug:

wrong_argument_in_call_1

Parameters:

Then:

(argument_list
  @pre
  @correct_arg
  @post)

Applications of this fix:

Raw json