Disable PRF for exponential bounds for now.
Disable PRF for exponential bounds for now.

I am not convinced that the current version is sound...

s-falke/kittel-koat,s-falke/kittel-koat,s-falke/kittel-koat,s-falke/kittel-koat