proposal: Make sure there is a PRF defined in IKE proposals