Changed the printing method
Merge branch 'DFAshortestCE' of https://github.com/mvolpato/learnlib.git into DFAshortestCE