Phases.Key
val cur_phase : any_phase Logtk.Flex_state.key
The current phase is stored in the state using this key