let under_inputs_termination_no_depend = ref Zone.bottom