/** @brief State of the model-checker (global variables for the model checker)
*
* Each part of the state of the model chercker represented as a global
/** @brief State of the model-checker (global variables for the model checker)
*
* Each part of the state of the model chercker represented as a global