let print_max_size (context: context) : unit =
  Print.print_statistic "Maximum Context Size" context.max_size