Added pretty printer, updated tests and updated checker