Statement Reordering and Visibility