SSA redefines context refs which breaks our inference. The correct fix here is to not overwrite context refs in EnterSSA.