regression checking for while-true statements