Module E_ACSL.Widening