A DFA that only works with a forward pass will generate a lot of complaints as people get baffled by the situations where it fails. The forward pass attribute inference D has generates complaints and bug reports when it fails, because it does not handle cycles.