sig
  module Calls : Plugin.String_set
  module Return : Plugin.String_set
  module Threat : Plugin.String_set
  module Assert : Plugin.String_set
  module LoopInv : Plugin.String_set
  module LoopVar : Plugin.String_set
  module Pragma : Plugin.String_set
  module RdAccess : Plugin.String_set
  module WrAccess : Plugin.String_set
  module Value : Plugin.String_set
end