Improve easy solver

Some hard grids can be solved without assumption.

Find automatic solver rule.