let pasEtatOp pos op = Aorai_option.warning "No state can be enabled %s operation '%s'. It can be an error of the analyzed C program." pos op