Have PseudoSourceValue override Value::dump, so that it works