multiple modification; checker->ClaM