method private unset_first_match_case =
                  {< first_match_case = false; >}