Using lazy-sequence of evaluation states now. Pretty cool.
Added test which show serious problem with algorithm!