typeinference.cpp Transforms