computeGENSetForHigherWrite(curr, killSet, lhsLocTuple, lhsHeapPath);
updateDeleteSetForHigherWrite(currDeleteSet, lhsLocTuple, lhsHeapPath);
} else {
computeGENSetForHigherWrite(curr, killSet, lhsLocTuple, lhsHeapPath);
updateDeleteSetForHigherWrite(currDeleteSet, lhsLocTuple, lhsHeapPath);
} else {