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