- worked on the abstract loop unwinding.
- fixed some printing issues