Implemented the degraded scenario for CR1109
Created procedure DeleteStoredInformation implementing requirement A.3.6 (for track conditions)
Added rule Clean Up which removes the unused information
Removed rule TrackConditionsMonitor (replaced by Clean Up in Kernel)
Added check of suppression of track conditions
Enhanced namespace view
Enhanced namespace view
Changed the way explanation are computed to avoid several threads accessing the same static variable
Version 1.0.25
Corrected verification of the second SBI curve
Actions and expectations separated in different sub-steps (otherwise expectations are satisfied....)
Fixed end conditions of track condition Non Stopping Area
Avoid windows changes when loading the 2nd model
Ensure non concurrency when modifying the model
Minor fix
Updated initial display to show the editor view on the right panel
Explain of a translation should always provide the source texts
Added final steps (when second SBI is crossed again)
Fixed end conditoin of track conditions
Test completed