Type inference may create more SSA opportunities.