Some cleanup.
Started belief, moved splitting to setup.c.
Computation of belief setups (untested).