List of bugs:

• null_check_missing_1

• wrong_argument_in_call_1

• wrong_binary_operator_1

• wrong_boolean_argument_in_call_1

• wrong_boolean_argument_in_call_2

• wrong_field_access_1

• wrong_return_statement_1