Create violation when the same file is explicitly included twice.