explicit_tree_aut: add Reduce(ReduceParam&) and Collapse(StateToStateMap&)