pub fn parse_files( formula_file: &str, proof_file: &str, memory_usage_breakdown: bool, ) -> Parser
Parse a formula and a proof file.