snk              3006 core/Verifier.cpp 		  core->console << "E" << i << ": " << "B" << e->src << " --> " << "B" << e->snk << "\n";
snk               187 core/Verifier.h 	  uint32_t snk;
snk               188 core/Verifier.h 	  Edge(uint32_t src, uint32_t snk);