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


assert ConflictFreeSpec(NODE.0,MEMORY_CONTROLLER.0) [V= Context(Controller.0,RingCell.0)