Fix to previous commit.
* correctly adding new variable declaration in delay-bounded translation.