Widening for Control-Flow