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