Yes not so clean, I did that because there are a lot of "return" statements in VerifyDB(..), so I would need to add a signal before every "return" in VerifyDB(..). I will change it.