This is a VF2 subgraph isomprphism implementation with some errors. Correcting it is an exercise for university students. Do not use this implementation for anything!