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

transparent normal

NetworkS = <Atom(RingCell.i) | i <- <0..NCELLS-1>>^<Atom(Controller.0)>



assert InductiveCompress() :[deadlock free [F]]
