fixed bug where dest variable SSAIDs would get reset across basic blocks