let
init () =
if
is_on ()
then
begin
Parameters
.
SimplifyCfg
.on ();
Parameters
.
KeepSwitch
.on ()
end