WYRL: ok, reduce is now producing identical automatons ... but it's still failing.