Toy static analyser for a concurrent language with a weak memory model