let
init_min_state_value = cp_init_min_state_value
#
get