explicit_tree_aut: add ReindexStatesWithFctor()