Also, can we use this to ask at anytime whether or not we know a specific pseudo cannot be 0? This will help us do a better job of dealing with certain exceptions in gcj. And Ada, in the case of pointers.