Discriminating between tabled and tree ASP solvers. (The latter is still to be written.)
Assertions and function renaming (ItemTree::finalize())
Some basics of the tree-mode ASP solver