let non_terminating_callees_inputs = ref Zone.bottom