Adds two abstract values of the positive interval domain, by adding the lower bounds and upper bounds.
Adds two abstract values of the positive interval domain, by adding the lower bounds and upper bounds.