mark return statements / lazy specifiers as assignments