trying to debug NP

I think I've identified where a problem with NP is, but I am having trouble verifying it