let empty = { (* initial value for the computation of over_inputs *) over_inputs = Zone.bottom; under_outputs = Zone.bottom; }