Avoid null-pointer arithmetic, amended.
Avoid null-pointer arithmetic, amended.

The first attempt (PR#1) inadvertently made some implementation behavior
unreachable.

The second attempt (PR#2) failed debug-time assertion checks.

dreal-deps/picosat,dreal-deps/picosat,dreal-deps/picosat