yieldM rewrite rule