let pp_environment fmt env = Format.fprintf fmt "%s@\n Proof Environment %s@\n%s@\n@\n%a" bar (String.capitalize env) bar Command.pp_from_file (file_for_ctxt ~env)