Add IsUndefined checks to the verifiers