PaperTesting the assumptions of the theoretical calculations in simple superionic conductors: The phonon response in KBiF4