add pretty-printer instead of syntax-check