@@ -0,0 +1,970 @@
+#!/usr/bin/python3%0A%0Aimport sys%0Aimport networkx as nx%0A%0A# def witness_node_match(n1, n2):%0A#     return True%0Awitness_node_match = nx.algorithms.isomorphism.categorical_node_match(%0A    %5B%22entry%22, %22sink%22, %22violation%22, %22invariant%22, %22invariant.scope%22%5D,%0A    %5BFalse, False, False, None, None%5D%0A)%0A%0A# def witness_edge_match(e1, e2):%0A#     return True%0Awitness_edge_match = nx.algorithms.isomorphism.categorical_multiedge_match(%0A    %5B%22assumption%22, %22assumption.scope%22, %22assumption.resultfunction%22, %22control%22, %22startline%22, %22endline%22, %22startoffset%22, %22endoffset%22, %22enterLoopHead%22, %22enterFunction%22, %22returnFromFunction%22, %22threadId%22, %22createThread%22%5D,%0A    %5BNone, None, None, None, None, None, None, None, False, None, None, None, None%5D%0A)%0A%0Aexpected = nx.read_graphml(sys.argv%5B1%5D, force_multigraph=True)%0Aactual = nx.read_graphml(sys.argv%5B2%5D, force_multigraph=True)%0A%0Aisomorphic = nx.is_isomorphic(expected, actual, node_match=witness_node_match, edge_match=witness_edge_match)%0Aprint(isomorphic)%0A

Add script for checking witness isomorphism