WyIL: Updated DFA library.

I updated the dfa library to support propagation through nested blocks.