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