Remove steps leading to a top.

Lead to a big simplification of the code. Let's face it: throwing a top is really difficult, if not impossible when using the libsdd's public interfaces.
Merge branch 'no_top_steps'

Conflicts:
	sdd/hom/function.hh
	sdd/hom/inductive.hh
Update tests.