docs: def __check_conflict_fronds(x, y, w, z, dfs_data):
      """Checks a pair of fronds to see if they conflict. Returns True if a conflict was found, False otherwise."""
  
      # Case 1: False frond and corresponding branch marker
      # --x and w should both be negative, and either xy or wz should be the same value uu
      if x < 0 and w < 0 and (x == y or w == z):
          # --Determine if the marker and frond correspond (have the same low-value)
          if x == w:
              return True
          return False
  
      # Case 2: Fronds with an overlap
      if b(x, dfs_data) == b(w, dfs_data) and x > w and w > y and y > z:
          return False
  
      # Case 3: Branch marker and a frond on that branch
      if x < 0 or w < 0:
          # --Determine which one is the branch marker
          if x < 0:
              u = abs(x)
              t = y
              x = w
              y = z
          else:
              u = abs(w)
              t = z
          # --Run the rest of the tests
          if b(x, dfs_data) == u and y < u and \
                  (x, y) in __dfsify_branch_uv(u, t, dfs_data):
              return True
          return False
  
      # If non of the conflict conditions were met, then there are obviously no conflicts
      return False