memory-barriers: Fix control-ordering no-transitivity example