halfway through analysis rewriting 1.0