added criteria matchers
trying to implement getAllBoundaries()
trying to implement NewAbstractionGrid()
diagram: trying to implement getDistinctShapes() and dependencies