Call_Arity.ArityAnalysisFixProps