or checking
required because the inverse transform is a total function on every point
in whose range satisfies the constraints.</p>
<p>Because the probability statements in the model are defined in terms
of constrained parameters, the log Jacobian of the inverse transform
must be added to the accumulated log probability.</p>
<p>Next, the transformed parameter statements are executed. After they
complete, any constraints declared for the transformed parameters are
checked. If the constraints are violated, th