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