Add test for #252 identified as such.
Update test result with improved pogging of atomic assignments
Add test for #259 (fixed in Overture).