redone: init: small updates
redone: improved conversion to use a default sink
redone: dfa: added patch for completeness
redone: dfa: fix matching bugs