Rewriting Recirculation BAL