Plumbing for a system to recommend hints for Prover9 input files