(Xronos) NewLimGen, adding casts on portread,write and scalar load and
stores. Applying singlePortReadWrite only on actions body.