This is a different issue, but I wish we could use `AutomatonTermsEnum` here!