Incidental to issue #1953: We should copy the rawness flag when we encounter a variable
Update tests for problem incidental to #1953
Fix #1953
Issue #1953: Enable test and add .src
Issue #1953: Fix existing .src.
Issue #1958: Add a test
Issue #1958: Fix by not exiting early, so we get a chance to set the rawness or erasure state via later logic.