- fixed bug in controlflow factory.
- improved pretty printing in unit tests.
- updated jar file.