Here is a possible sc-loc.cat file. In effect the
relation po is replaced by po-loc in the SC
acyclicity condition.
"SC per location"
// Define the coherence (co) relation
include "cos.cat"
// Communication relations
let com = rf|co|fr
// Program order between events with the same location
let po-loc = po & loc
// Consistency condition for SC
acyclic po-loc|com as SC-LOC