[CGP] Rewrite pattern match for splitBranchCondition to work with Values instead.