Notify the listener when a clause is inferred after a saturation

2 jobs for VERIPB2 in 44 minutes and 18 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Build
passed maven38-java11 #65655

00:24:20

 
  Test
passed maven38-java16 #65656

00:19:58