Update SaturationCounter.h

Made saturation counter source independent of names of intermediate states by adding SATURATION_COUNTER_FIRST and SATURATION_COUNTER_LAST states to be used in .c file.