sig
  val unravel :
    Flx_mtypes2.sym_state_t ->
    Flx_types.fully_bound_symbol_table_t ->
    Flx_types.tbexpr_t ->
    (Flx_types.tbexpr_t * string) list * Flx_types.tbexpr_t
end