Predicate AV Rule 139::twoDeclarationFilesWithDifferentNames

predicate twoDeclarationFilesWithDifferentNames(Declaration d, string f1, string f2)