boolean unification cleanup
some debugging utilities