first version of new debug algo
simplifier: improve
simplifier:refactor
go_find_some_bugs: move functionality to runner
fix model get_cell_info write
simplifier prints
commands: improve invariants
unit test to reviel a bug
fix for loop bug