Fix PrettyPrint. Currently the PrettyPrint print deleted tokens.
Improve PrettyPrint of ambiguous.