Added subsumption for belief setups.

* Replaced bsetup_subsumes() with bsetup_with_splits_subsumes().
  Fixed the missing last setup which satisfies no beliefs.
* Unit test works now.