Use MakeMonPredAd in ElimModal instances.

3 jobs for gen_proofmode in 12 minutes and 8 seconds (queued for 2 seconds)