Diff program for semantic patches