Not using real SourceLocation is bad, especially in -verify mode.
In the value printer synthesis we have real source location of the expression
that we are replacing. Use its begin and end location.
This will allow us to remove the XFAIL-ed test that now passes.