Adaptive_State_Counting.ASC_Sufficiency