/** This method changes an existing read part of an RMW action into either:
* (1) a full RMW action in case of the completed write or
* (2) a READ action in case a failed action.
/** This method changes an existing read part of an RMW action into either:
* (1) a full RMW action in case of the completed write or
* (2) a READ action in case a failed action.
* @param act is the action to consider exploring a reordering.
* @return tells whether we have to explore a reordering.
*/
* @param act is the action to consider exploring a reordering.
* @return tells whether we have to explore a reordering.
*/