Updating the reset of reacahbility and liveness when performing formal verification. This reset now applies to the whole hierarchy of components