Enhancing source-level programming tools with an awareness of transparent program transformations