Revert change to behavior of proc checks wrt nil; that's user-defined, so it can do whatever you want