Geahča maid: Implicit Incremental Model Analyses and Transformations