def __check_conflict_fronds(x, y, w, z, dfs_data):
<EOL>if x < <NUM_LIT:0> and w < <NUM_LIT:0> and (x == y or w == z):<EOL><INDENT>if x == w:<EOL><INDENT>return True<EOL><DEDENT>return False<EOL><DEDENT>if b(x, dfs_data) == b(w, dfs_data) and x > w and w > y and y > z:<EOL><INDENT>return False<EOL><DEDENT>if x < <NUM_LIT:0> or w < <NUM_LIT:0>:<EOL><INDENT>if x < <NUM_LIT:0>:<EOL><INDENT>u = abs(x)<EOL>t = y<EOL>x = w<EOL>y = z<EOL><DEDENT>else:<EOL><INDENT>u = abs(w)<EOL>t = z<EOL><DEDENT>if b(x, dfs_data) == u and y < u and(x, y) in __dfsify_branch_uv(u, t, dfs_data):<EOL><INDENT>return True<EOL><DEDENT>return False<EOL><DEDENT>return False<EOL>
Checks a pair of fronds to see if they conflict. Returns True if a conflict was found, False otherwise.