Fixed an incredibly stupid bug which was causing generation of the
"quotient LTS" to fail. We shall remove a lot of debugging code in the
next commit.
Removed a lot of debugging code.
Written a lot of code, not tested all of it yet.
This contains more untested code!
Added a function to test whether the zero valuation lies in a
particular dbm.