Creates the minium of two abstract values of the positive interval domain, by creating the minimum of the lower bounds and upper bounds.
Creates the minium of two abstract values of the positive interval domain, by creating the minimum of the lower bounds and upper bounds.