Fixed warnings by doing an "organize imports"
FreeTypes in ProB's AST: Added support in the Prolog Printer, added test case, incremented version number