I think I got the lo-relation working now. If you try herd on
CPP11Tests/silly.litmus, it should try all the possible lo-relations,
i.e. both "lock(x) -> unlock(x)" and "unlock(x) -> lock(x)". I haven't
properly stress tested it yet though...