- Adding debug channels.
- Internal predicates are hidden by default when printing answer sets.