- Adapted some of our earlier, graph-based code to use the 'digraph' algorithm instead; the LA sets are now computed correctly.
- Adapted some of our earlier, graph-based code to use the 'digraph' algorithm instead; the LA sets are now computed correctly.

jack-pappas/facio,YaccConstructor/facio,YaccConstructor/facio,emavchun/facio,emavchun/facio