WYRL: Update for #274.  I believe the current problem is that minimise doesn't reduce to identical automatons