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