Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems