pub fn load_file( pretty: &mut Pretty, problem: &mut Problem, filename: &str, verbose: u8, ) -> Result<(), Error>