[analyzer] initial reconstruction of TWhile