use a bool to control printing of names as suggested by Peter

s/PrintContext/ReplacementContext/

add two asserts in Parser.cpp