Thread Safety Analysis:  Update SSA pass to handle loops.