Added [readwrite/readwrite1] and [readwrite/readwrite2] toy benchmarks from (Abdulla-POPL-14).