let
i_knowledge = ref ([
If_const
(global_i)] : if_value_type list)