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