[proof reading search] stopped at imperative maze solution