closLang adjusted, checks for closure before timeout
App case proved for closLang-to-bvl compiler