How to deal with loop?

[明白了]

Hello:I want to know How does Klee deal with the loop in the target code? And In which part of the source code of Klee is corresponding with it?
Thanks a lot!
Paul