Efficient automatic verification of loop and data-flow transformations by K. Shashidhar