for (i = get_Sync_n_preds(pred) - 1; i >= 0; --i) {
res |= follow_Mem_chain(load, skip_Proj(get_Sync_pred(pred, i)));
if (res)
for (i = get_Sync_n_preds(pred) - 1; i >= 0; --i) {
res |= follow_Mem_chain(load, skip_Proj(get_Sync_pred(pred, i)));
if (res)