method private set_first_match_case =
                  {< first_match_case = true; >}