Rewrite policies to make sure flow-control is correct.