Add the class ModelCheckerEvent.
Now the actions beginning with "P" are stored in a class
ModelCheckerEvent (GraphFactoryAEFD).
Remove the value "INCOHERENT" from Valuation.