Break a depedency.

3 jobs for gen_proofmode in 11 minutes and 1 second (queued for 3 seconds)