Fix the pretty printer in the example project (it crashed if there where annotations in the ast, adding (source) to the menu fixed it)