Fix a bug in UnPtrLocalFO
Add a pretty-printer for Alt-Ergo