Fixed PrettyPrinter (again)
Merge branch 'experimental' of https://github.com/ku-fpg/armatus.git into experimental