The impact of rewriting on coverage constraint satisfaction