slight improvement of failed WITH reporting
s/exhausted/saturated/
Better reporting of calls to saturated matches