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