Fix handling of shadowing for exempt calls.
Fix handling of shadowing for exempt calls.

Was turning 'x = call (arg)' into
'x = call (arg); x := x.shadow'.

michael-emmi/bam-bam-boogieman,michael-emmi/bam-bam-boogieman