Fix correctness of InvarianceCheck and other SSA slice walks. - #61

Fix correctness of InvarianceCheck and other SSA slice walks.#61

KFAFSP wants to merge 1 commit into

torch-spyre:maintorch-spyre/dataflow-scheduler:mainfrom

KFAFSP:kfaf/ssa-dependence-analysisKFAFSP/dataflow-scheduler:kfaf/ssa-dependence-analysisCopy head branch name to clipboard