let pretty fmt x =
  Format.fprintf fmt
    "@[Over-approximated operational inputs: %a@]@\n@[Under-approximated operational outputs: %a@]"
    Zone.pretty x.over_inputs
    Zone.pretty x.under_outputs