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