Demonstrates how `GlobalMaximum` invalidates a search if a rule matches too many times.