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

assert || (id,A,B) : Network :[deadlock free [F]]
