Disable PRF for exponential bounds for now.

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