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)