Elementwise endspecification for interval abstraction
Check abstract interval addition in downsweep
Pairwise interval abstraction for upsweep