Call_Arity.CardinalityAnalysisSpec