Bug: wrong_boolean_argument_in_call_1

Where:

(argument_list
  (_) *@pre
  (true) @wrong_arg
  (_) *@post)

Fixes of this bug:

• correct_boolean_argument_in_call_2
• correct_boolean_argumet_in_call_1

Raw json