reimplement SimplifyCalls transform in-place in GeneralCallNode.analyse_types()