rewrite.sh doesn't skip old files #258
Description
In the rewrite.sh, we should check whether the target .phi file exists and is younger than the source .phi file. If so, we should skip the transformation and simply print to the log that it's not necessary to rewrite.