Fix failing assertion in ChangeFunctionTypeFix

Sorry for that. I will review once again the rest of my assertions later today.