examples/org.eclipse.epsilon.examples.flexmi.rts/rts.evl

context Task {

	constraint SensorProcessor {
	
		check : self.accesses.
			forAll(d|d.processor = self.allocatedTo)
		
	}

}