First draft of disjunction.
Merge branch 'master' of https://github.com/alviano/wasp
Second draft of model checker. We still need to remove the shift.