constraint-based propagation of uncertainties (Lua)