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