Visualising program transformations in a stepwise manner