-- Check conflict for a pair of atoms
include "Model.csp"

SYSTEM = || (id,B,A) : Network @ [A] B 

assert SYSTEM  :[deadlock free [F]]
