Visualisierung von werkzeugbasierten ermittelten Graphgegenbeispielen im Kontext lokaler Verfahren in Drahtlosnetzmodellen