>> A new automaton state is added to quickly step over false branches.
>
> This one took me a little while to understand while reading the patch,
> but mostly because of how diff doesn't handle moving things around.
"git diff -w --patience" may help.
> Marking as ready for committer.
Here is a rebase. I made some tests use actual expressions instead of just
0 and 1. No other changes.
--
Fabien.