Questions

1. aTail – Function

val i1 = Intervals.Interval(IntegerVal(-1), IntegerVal(5))
val i2 = Intervals.(IntegerVal(10), IntegerVal(57))
val i3 = Intervals.(IntegerVal(8), IntegerVal(35))

val a = aTail(ACons(_,ANil) //ANone
val b = aTail(ACons(i1, ACons(i2, ANil)) //ASome(i2)
val c = aTail(ACons(i1, ACons(i2, AMany(i3))) //widen(ASome(i2), AMaybe(i3))

=> Summary Node for AMany

---

2. widen – Operator
=> widen AList: Pattern Matching => returns AList (necessary?)
=> widen Interval of ALists => returns AInt