Add position check for regression introduced by #2957

The starting bound for ValDefs in #2957 is distinct from the expected result, e.g.

[4:9]val x = [8:9]0
instead of
[0:9]val x = [8:9]0