Support GEPing a null pointer
Add memoComplete() to fill in all missing traces in memo. The particular
implementation might now be that efficient, but the implementation of
client interface should be greatly simplified now.