sig
  val remove :
    'v Automata.senfa ->
    (int, Common.int_set, 'v, Bdd.key, Bdd.formula) Automata.snfa
end