Tweaks to guarded assignment post