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