// Check if work has an explain annotation
Annotation note = work.getClass().getAnnotation(explain.class);
if (note instanceof explain) {
explain xpl_note = (explain)note;
if (extended || xpl_note.normalExplain()) {
out.print(indentString(indent));
out.println(xpl_note.displayName());
}
}