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.