sig
  val tand :
    Promelaast.typed_condition ->
    Promelaast.typed_condition -> Promelaast.typed_condition
  val tor :
    Promelaast.typed_condition ->
    Promelaast.typed_condition -> Promelaast.typed_condition
  val tnot : Promelaast.typed_condition -> Promelaast.typed_condition
  val simplifyCond :
    Promelaast.typed_condition ->
    Promelaast.typed_condition * Promelaast.typed_condition list list
  val simplifyTrans :
    Promelaast.typed_condition Promelaast.trans list ->
    Promelaast.typed_condition Promelaast.trans list *
    Promelaast.typed_condition list list list
  val dnfToCond :
    Promelaast.typed_condition list list -> Promelaast.typed_condition
  val simplifyDNFwrtCtx :
    Promelaast.typed_condition list list ->
    Cil_types.kernel_function ->
    Promelaast.funcStatus -> Promelaast.typed_condition
end