constraint-based propagation of uncertainties