a language-aware program comparison tool