Email Record: Reasoning about program transformations :