Matching con Grafo finito

nessuna modifica all algoritmo di matching di simulategraph, solo
modifiche a substringmatchingaction