SimplifyCFG: Use parallel-and and parallel-or mode to consolidate branch conditions