WyRL: added support to StrategyRewriter.Strategy for recording the number of probes performed.