ICDP without Data Storage

Timing Problem : try to bind PRE_READ with following WRITE