let pasEtatLoop pos quid id = Aorai_option.warning "No state can be enabled %s the %s of the loop '%d'. It can be an error of the analyzed C program." pos quid id