let new_state name = { name = get_fresh name; acceptation = Bool3.False; init = Bool3.False; nums = StateIndex.next(); multi_state = None }