veriPB : try to use saturation in the proof only when necessary

2 jobs for VERIPB2 in 40 minutes and 40 seconds (queued for 8 seconds)