Symbol: simplify_cond_branch