For independent r.v.'s X,E with univariate, absolutely continuous
(a.c.) distributions Regr and Error, respectively,
PrognCondDistribution() returns the
(factorized, conditional) posterior distribution of X given X+E=y.
as an object of class PrognCondDistribution.