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