the reset of the clock has to be done after the guard has been analyzed