Fix bug on modelchecker.
Added some information for statistics.
Merge branch 'disjunction' of https://github.com/alviano/wasp into disjunction
Minor changes to trace.