Fixed: Setups::PropagateBeliefs() built belief setups incorrectly.

The mistake was to copy the last setup at a time the last setup was
already filled with beliefs. Instead, the copied setup should have been
clean.

Also added unit tests for beliefs.