merge fini (+addAllAccessibleStates)