Working on making the worklist algorithm more generic. So far some of it
is working, but the transfer function still needs to made generic for
the purpose of really testing it.
Merge branch 'master' of github.com:rostgaard/02242