towards simplification of early result
just flag for early result
simplification
documenting solver
in progress: hierarchy