Remove existentials from refine_state.