-- Added option for pretty printing a parsed ast in the frontend