add the possibility to load a scenario to execute in the GUI
added the execution of the FCI
removed the ACT from the list of possible event to be given to the model
checker