Update SaturationCounter.c

Made SaturationCounter state machine independent of intermediate state names by adding boundry names for upper and lower limits.