Candidates for g4ip-prover