let clear () =
Force.clear () ;
Select.Calls.clear () ;
Select.Return.clear () ;
Select.Threat.clear () ;
Select.Assert.clear () ;
Select.LoopInv.clear () ;
Select.LoopVar.clear () ;
Select.Pragma.clear () ;
Select.RdAccess.clear () ;
Select.WrAccess.clear () ;
Select.Value.clear () ;
OptionModified.clear ()