Rewriting list-comp.