more tests
incremental solver that dont blow the stack