pretty printing for terms with analysis data