Fixed consistency check of belief setups.

Now consistency is checked taking k into consideration.
Current solution is relatively expensive, bookkeeping could solve that.
See comment in belief.c.