VERIFY must only be be called on non-NULL pointers

pairfindnext needs its own pointer to work correctly

Fix typo in evaluate.c