Precede restrictions is implemented using reversed dfas