Type inference for phi registers fixed