let non_terminating =
  {
    over_inputs = Zone.bottom ;
    under_outputs = Zone.top
  }