A New Type of Counting Derivation for CD Grammar Systems