/* Test to see whether this is a feasible write to read from */
/** NOTE: all members of read-from set should be
* feasible, so we no longer check it here **/
/* Test to see whether this is a feasible write to read from */
/** NOTE: all members of read-from set should be
* feasible, so we no longer check it here **/