let init_predicates = ref ([] : (if_value_type * if_value_type list) list)