Propagation of constraints for values with uncertainties implemented in Lua