Narrowing rewriteCond