sig
  val intruder_empty : Clause.clause
  val intruder_P : Clause.clause
  val intruder_P1 : Clause.clause
  val intruder_P2 : Clause.clause
  val intruder_F : Symbols.eva_symbol_list -> Clause.clause list
  val intruder_F1 : Symbols.eva_symbol_list -> Clause.clause list
  val intruder_E : Clause.clause
  val intruder_Dcst : Symbols.eva_symbol_list -> Clause.clause list
  val intruder_DI : Symbols.eva_symbol_list -> Clause.clause
  val intruder_Dval : Symbols.eva_symbol_list -> Clause.clause list
  val intruder_DCONS : Symbols.eva_symbol_list -> Clause.clause
  val intruder_DAPP : Symbols.eva_symbol_list -> Clause.clause list
  val intruder_DCRYPT : Clause.clause
  val intruder_DA : Symbols.eva_symbol_list -> Clause.clause list
  val intruder_coerce : Symbols.eva_symbol_list -> Clause.clause list
  val intruder_coerce1 : Symbols.eva_symbol_list -> Clause.clause list
  val rules : Symbols.eva_symbol_list -> Clause.clause list
end