Variable: buffer-file-numbers-unique

Non-nil means that `buffer-file-number' uniquely identifies files.