let active_choice_point (state: state) : choice_point = match state.st_branch with | [] -> failwith "State.active_choice_point" | head :: _ -> head