include "RAM.csp"

assert CellPack(0,1, off.0) :[deadlock free [F]]
