let is_on () =
not (Select.Calls.is_empty ()
&& Select.Return.is_empty ()
&& Select.Threat.is_empty ()
&& Select.Assert.is_empty ()
&& Select.LoopInv.is_empty ()
&& Select.LoopVar.is_empty ()
&& Select.Pragma.is_empty ()
&& Select.RdAccess.is_empty ()
&& Select.WrAccess.is_empty ()
&& Select.Value.is_empty ())