
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Enum "anon_enum_32": Some values do not have unique names */

_Bool AnnotationList__isContributionAlways(AnnotationList *self,ContributionIndex ci)

{
                    /* WARNING: Subroutine does not return */
  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",
                0x40,"AnnotationList__isContributionAlways");
}



/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void FUN_00013e50(void)

{
                    /* WARNING: Subroutine does not return */
  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",
                0x40,"AnnotationList__isContributionAlways");
}


PUSH EBX
CALL 0x00013d10
ADD EBX,0x821aa
SUB ESP,0x8
LEA EAX,[EBX + 0xfffd72a0]
PUSH EAX
LEA EAX,[EBX + 0xfffd7008]
PUSH 0x40
PUSH EAX
LEA EAX,[EBX + 0xfffd70ac]
PUSH EAX
CALL 0x000135f0
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid FUN_00013e50(void)\n\n{\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}\n\n" comment (function_definition "void FUN_00013e50(void)\n\n{\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}" primitive_type (function_declarator "FUN_00013e50(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}" { comment (expression_statement "__assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");" (call_expression "__assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways")" identifier (argument_list "("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways")" ( (string_literal ""0 <= ci && ci < self->inadequacyNode->contributionCount"" " string_content ") , (string_literal ""src/AnnotationList.c"" " string_content ") , number_literal , (string_literal ""AnnotationList__isContributionAlways"" " string_content ") ))) ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Enum "anon_enum_32": Some values do not have unique names */\n\n_Bool AnnotationList__isContributionAlways(AnnotationList *self,ContributionIndex ci)\n\n{\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}\n\n" comment comment (function_definition "_Bool AnnotationList__isContributionAlways(AnnotationList *self,ContributionIndex ci)\n\n{\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}" type_identifier (function_declarator "AnnotationList__isContributionAlways(AnnotationList *self,ContributionIndex ci)" identifier (parameter_list "(AnnotationList *self,ContributionIndex ci)" ( (parameter_declaration "AnnotationList *self" type_identifier (pointer_declarator "*self" * identifier)) , (parameter_declaration "ContributionIndex ci" type_identifier identifier) ))) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}" { comment (expression_statement "__assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");" (call_expression "__assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways")" identifier (argument_list "("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways")" ( (string_literal ""0 <= ci && ci < self->inadequacyNode->contributionCount"" " string_content ") , (string_literal ""src/AnnotationList.c"" " string_content ") , number_literal , (string_literal ""AnnotationList__isContributionAlways"" " string_content ") ))) ;) })))
(translation_unit "void FUN_00013e50(void)\n\n{\n                    \n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}\n\n" (function_definition "void FUN_00013e50(void)\n\n{\n                    \n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}" primitive_type (function_declarator "FUN_00013e50(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n                    \n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}" { (expression_statement "__assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");" (call_expression "__assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways")" identifier (argument_list "("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways")" ( (string_literal ""0 <= ci && ci < self->inadequacyNode->contributionCount"" " string_content ") , (string_literal ""src/AnnotationList.c"" " string_content ") , number_literal , (string_literal ""AnnotationList__isContributionAlways"" " string_content ") ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })))
(function_definition "void FUN_00013e50(void)\n\n{\n                    \n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}" (primitive_type "void") (function_declarator "FUN_00013e50(void)" (identifier "FUN_00013e50") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n                    \n  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");\n}" ({ "{") (expression_statement "__assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways");" (call_expression "__assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways")" (identifier "__assert_fail") (argument_list "("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",\n                0x40,"AnnotationList__isContributionAlways")" (( "(") (string_literal ""0 <= ci && ci < self->inadequacyNode->contributionCount"" (" """) (string_content "0 <= ci && ci < self->inadequacyNode->contributionCount") (" """)) (, ",") (string_literal ""src/AnnotationList.c"" (" """) (string_content "src/AnnotationList.c") (" """)) (, ",") (number_literal "0x40") (, ",") (string_literal ""AnnotationList__isContributionAlways"" (" """) (string_content "AnnotationList__isContributionAlways") (" """)) () ")"))) (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Enum "anon_enum_32": Some values do not have unique names */

type_1 function_1(type_2 *self,type_3 ci)

{
                    /* WARNING: Subroutine does not return */
  var_1("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",
                0x40,"AnnotationList__isContributionAlways");
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal) (string_literal (string_content))))))))

/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void MASKED(void)

{
                    /* WARNING: Subroutine does not return */
  __assert_fail("0 <= ci && ci < self->inadequacyNode->contributionCount","src/AnnotationList.c",
                0x40,"AnnotationList__isContributionAlways");
}

