Discriminating between tabled and tree ASP solvers. Does not compile yet.