Module Epsilon

module Epsilon: sig .. end
Symbolic epsilon removal

val remove : 'v Automata.senfa ->
(int, Common.int_set, 'v, Bdd.key, Bdd.formula) Automata.snfa
convert a symbolic NFA with epsilon transitions into a symbolic NFA