This page has moved to https://drmaciver.com/notebook/2020/07/getting-test-case-reduction-unstuck-with-automaton-inference/.