Here is an evidence checker for SIP.
check(G,H) Evidence: A function f that takes each vertex of H and produces a vertex of G. (The function is given as a table showing the vertices of H in one column and the corresponding vertices of G in another column.) Requirement: 1. Function f is one-to-one. That is, for every x and y, if x ≠ y then f(x) ≠ f(y). 2. For every edge (u,v) of H, (f(u), f(v)) is an edge of G.