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)
Status Name Job ID Coverage
  Build
passed maven38-java11 #65825

00:20:39

 
  Test
passed maven38-java16 #65826

00:20:01