added an annotationtree printer to make error messages clearer