Restructure NormalRule (still having a bug on recursive programs).
Fix bug: cannot remove true positive body literals from crules.
Add trace messages.
Merge branch 'restructure2' of github.com:alviano/wasp into restructure2