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 ())