WYRL: updating the way that probing works for reductions and inferences to generated multiple matches.