Violation of “SC per location” by the flowing model

The following behaviours should be forbidden by the flowing model, as by any model.