CHSCC
val zero : CHBounds.bound_t
val one : CHBounds.bound_t
class loop_stack_t : object ... end
type wto_component_t =
| SCC of wto_t
| VERTEX of CHLanguage.symbol_t
and wto_t = wto_component_t list
val pretty_print_wto : wto_component_t list -> CHPretty.pretty_t
class wto_engine_t : CHUtils.graph_t -> object ... end