Widening of abstract values of level 0

Function: ap_abstract0_t* ap_abstract0_widening (ap_manager_t* man, ap_abstract0_t* a1, ap_abstract0_t* a2)

Widening of a1 with a2. a1 is supposed to be included in a2.