move major part of SimplifyCalls transform into type analysis in GeneralCallNode