Thread Safety Analysis:  Convert to minimal SSA.